theorem :: XPRIMES2:4305

canceled;