theorem :: XPRIMES2:1180

canceled;