theorem :: XPRIMES2:7668

canceled;