theorem :: XPRIMES2:5968

canceled;