Pyfagerian Theorem view 3