@id:10943
$name:繰返し定理