theorem :: XPRIMES2:1728

canceled;