theorem :: XPRIMES2:7234

canceled;