provable

The theorem is provable using basic algebra.

その定理は基本的な代数を使って証明可能です。