theorem :: XPRIMES2:6758

canceled;