Added another variant of Petrov identity; proofs simplified