theorem :: XPRIMES2:1152

canceled;