式と証明