>>651
kについての恒等式