theorem :: XPRIMES2:6888

canceled;