>>478
例などを書くのはブルバキスタイルではない。