theorem :: XPRIMES2:394

canceled;