theorem :: XPRIMES2:3701

canceled;