theorem :: XPRIMES2:1048

canceled;