theorem :: XPRIMES2:1062

canceled;