theorem :: XPRIMES2:7305

canceled;