theorem :: XPRIMES2:7874

canceled;