theorem :: XPRIMES2:652

canceled;