3 ms·Ha. At least you can check the theorem statements and see that the proofs verify :)by namin 8mo agoHa. At least you can check the theorem statements and see that the proofs verify :)