theorem :: XPRIMES2:6727

canceled;