هاوپۆل:

theorem

ڕاستاندنی theorem گۆکردنەکان