Предположим что простых чисел конечное количество. Перемножим их все и прибавим 1. Полученное число не делится ни на одно из известных простых, а значит, либо само является новым простым, либо делится на неизвестное простое число. Поэтому простых бесконечно много