Доказываем иррациональность корня из 2 двумя способами

Докажем иррациональность корня из 2 двумя способами: с использованием основной теоремы арифметики и без неё.