theorem :: XPRIMES2:372

canceled;