x - 17 = 20 comprobación​