theorem :: XPRIMES2:6668

canceled;