35個の同次の事実

31個の接線の事実

26個の整数の事実

31個の再帰の事実