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.