ניתוח מתמטי ודידקטי של פעילות 5.4: גילוי שימור לצורך קביעת אי-קיום של הפתרון