although this fact is not important

although this fact is not important for this
lemma)

Kết quả (Việt) 1:

mặc dù thực tế này không phải là quan trọng cho việc nàybổ đề)

Kết quả (Việt) 2:

mặc dù thực tế đây không phải là quan trọng cho việc này
lemma)