@id:2763
$name:ラウオーの定理