provability

The provability of the theorem was confirmed through rigorous testing.

その定理の証明可能性は厳密な検証で確認された。