theorem :: XPRIMES2:5932

canceled;