theorem :: XPRIMES2:8974

canceled;