>>151
まあ、そうだな。

公理なので、他の公式から導くことはできない…×
他の公式から導くことはできないから、公理にしてある…○