>>414-415

>>321-322で出て来たチャイティンも正規数を発見している