レンマ

Danh từ chung

định lý