יש משפט כזה? חיסור זוויות שוות מזוויות שוות נותן זוויות שוות

קוראים לזה הוכחה אלגברית

x-y = x-y מש"ל

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

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