theorem :: XPRIMES2:1777

canceled;