theorem :: XPRIMES2:1250

canceled;