Similar to フォン・シュタウト＝クラウゼンの定理

• 

  安藤毅 (数学者)