どのようなkについても成り立つ⇔kについての恒等式