文字式を用いた証明