One more proof rewritten in equational style