Сверху точки, чуть ниже само уравнение прямой и, следовательно, подстановки этих координат. если равенство получается верным (в данном случае равно 7), то точка подходит, то есть лежит на прямой. а если же равенство получается неверным (не равно 7), то точка не лежит на прямой.