Szerintem at lehet rendezni, ha az atrendezes kolcsonosen egyertelmu. Es itt az. A kovetkeztetes rossz szerintem. S + S1 = S => S = vegtelen