theorem :: XPRIMES2:242

canceled;