van me'g egy halmazelmeleti bizonyitas is. semmi aritmetikat, extra muveletet, stb nem hasznal, csak halmazelmeleti tartalmazast es rendezesi relaciokat ;)