Faclan-luirg Mathematical Theorem