Se x-3 é menor que y, então: