9x-20=7 comprobación ​