Esta última se podría comprobar mediante la derivación de lado derecho, o como sigue: