IUTで、ABCの次は、ゼータ関数だろうな。