theorem :: XPRIMES2:6974

canceled;