w RubikSon:

	⎧	Ix−yI− IxI/x=−1
Rozwiąż układ równań	⎩	I2x−yI+Ix+y−1I+Ix−yI+y−1=0

ICSP: Wystarczy spojrzeć na pierwsze równanie. Zakładamy x ≠ 0 Jeżeli x < 0 to |x − y| + 1 = −1 − sprzeczność Jeżeli x > 0 to |x − y| − 1 = −1 skąd x = y Wystarczy podstawić do drugiego równania i zobaczyć co wyjdzie.

RubikSon: Dzięki wielkie