Вы утвержаете, что существует бесконечное множество пар таких чисел, для одинаковых значений n,
у меня значение n произвольно, тоесть можно говорить об

, для любых

или наоборот, тоесть Ваши значения n не входят во всё множество значений m,
так, что я не достаточно ясно сформулировал утверждение.