Reduced size of some proofs