theorem :: XPRIMES2:7698

canceled;