>>864
導けというなら自然数の定義が必要になるな

>>883
かけると累乗を書けるようになってから、な