theorem :: XPRIMES2:4698

canceled;