theorem :: XPRIMES2:7902

canceled;