定義からビアンキ恒等式