すべての定理に完全証明がついている。