Differential Bianchi identity