theorem :: XPRIMES2:2264

canceled;