theorem :: XPRIMES2:7225

canceled;