theorem :: XPRIMES2:7205

canceled;