theorem :: XPRIMES2:1171

canceled;