theorem :: XPRIMES2:2305

canceled;