theorem :: XPRIMES2:6745

canceled;