theorem :: XPRIMES2:1056

canceled;