theorem :: XPRIMES2:2371

canceled;