Algebraic Bianchi identity