בנימוק של כתיבת הוכחה, אני יכולה פשוט לכתוב "משפט תאלס ההפוך"?

או שאני חייבת לכתוב
"אם ישנם ישרים המקצים קטעים פרופורציונים על שוקי זוית, אז הם מקבלים"
או משהו כזה