theorem :: XPRIMES2:6123

canceled;