theorem :: XPRIMES2:2411

canceled;