theorem :: XPRIMES2:1054

canceled;