Simplify proof