ファイル:Birkhoff120.svg loading ...