theorem :: XPRIMES2:396

canceled;