One more proof converted to equational style