Another way to say "CYC can prove theorems" is "Theorems can be proved by CYC"