Ấn T để tra

bổ đề 

danh từ
 

mệnh đề có tính chất bổ trợ cho một hay nhiều định lí.