theorem :: XPRIMES2:2367

canceled;