proof (math)