theorem :: XPRIMES2:623

canceled;