theorem :: XPRIMES2:347

canceled;