9からxを引けばいいんじゃない?