theorem :: XPRIMES2:2975

canceled;