theorem :: XPRIMES2:6932

canceled;