theorem :: XPRIMES2:7932

canceled;