theorem :: XPRIMES2:6895

canceled;