theorem :: XPRIMES2:8975

canceled;