theorem :: XPRIMES2:2375

canceled;