theorem :: XPRIMES2:3923

canceled;