Українська математична енциклопедія
Лема Йонеди