LNKO(a; b)
a =
b =