Eochairfhocal Mathematical Theorem