theorem :: XPRIMES2:6995

canceled;