Hoffmanの恒等式