Уэлс
Уэлс, упоминая Микеля, ссылается на эту теорему как на "теорему Пиво́".