זה הגיוני שיותא לי יותר מ50 שורות בטענה נימוק

נשמע קצת הרבה
כנראה אפשר לצמצם חלק מהפעולות לשורה אחת במקום 2/3 ולהשתמש במשפטים מקוצרים, אבל זה כמובן תלוי גם בתרגיל

כן זה יכול להיות, יש שאלות שהם ארוכות...
אם הכל חיוני להוכחה אז זה ממש בסדר

נשמע מאוד הרבה אבל אפשרי