theorem :: XPRIMES2:2874

canceled;