In some cases, reasoning over a set of rows may also lead to the next step of the solution even without contradictions and deeper recursion.
בחלק מהמקרים, חשיבה על קבוצה של שורות עשויה להוביל לצעד הבא של הפתרון גם ללא שימוש בשיטת סתירות ורקורסיה עמוקה יותר.