Kolay kismini yine de yazarsak: √a+√b∈Q(√a,√b) oldugundan Q(√a+√b)⊆Q(√a,√b) saglanir.
Koklerden kurtulmamak icin (√a+√b)3=(a+3b)√a+(b+3a)√b ile ilgilenelim. Dolayisiyla 12(a−b)[(√a+√b)3−(a+3b)(√a+√b)]=√a ve 12(b−a)[(√a+√b)3−(b+3a)(√a+√b)]=√b esitlikleri saglanir. Bu da bize √a,√b∈Q(√a+√b) oldugunu verir. Dolayisiyla Q(√a,√b)⊆Q(√a+√b) de saglanir.