theorem :: XPRIMES2:4932

canceled;