Otra identidad útil es