theorem :: XPRIMES2:2378

canceled;