(For if the theories should be different, then one of them should contain theorems not contained by the other theory.
(如果理论是不同的，则其中一个理论应当包含不能被另一个理论所包含的定理。