theorem :: XPRIMES2:7975

canceled;