Oznaczmy:

$x$   - cyfra dziesiątek pewnej liczby

$8-x$   - cyfra jedności pewnej liczby (ponieważ suma cyfr wynosi 8)

Zał:

$9\ge x>0\wedge 9\ge 8-x\ge 0$  

$x\in (0,9⟩\wedge 1\ge -x\ge -8$  

$x\in (0,9⟩\wedge -1\le x\le 8$  

$x\in (0,9⟩\wedge x\in ⟨-1,8⟩$  

Zatem:

$x\in (0,8⟩$  

Dowolną liczbę dwucyfrową, w której cyfra dziesiątek jest równa $a$, a cyfra jedności jest równa $b$, możemy zapisać jako: