高木先生よ、素数が無限個あることを証明できるか?