9 7x u003d(