theorem :: XPRIMES2:492

canceled;