>>219
おまえはまず自然数を導出するのに何が必要か学んでから死ね