theorem :: XPRIMES2:6986

canceled;