Pyfagerian Theorem view 2