kについての恒等式