theorem :: XPRIMES2:7934

canceled;