>>792
数式で出来てる定理を公式とよぶ
※定理は証明された命題