theorem :: XPRIMES2:6125

canceled;