√5はMURISUであるを公理とする
よって√5はMURISUである

証明おわり