Qalp, Qp cisminin cebirsel kapanışı (algebraic closure) olmak üzere, gösteriniz ki,
1) Qalp ayrık (discrete) değildir,
2) Qalp tam (complete) değildir.
Eisenstein polinomlariyla elde edecegin dallanmis genislemeler degerlendirmesi 1pn olan elemanlar verecektir. O yüzden ayrıklık bozulacaktır. Tam olmadığını göstermek için de maksimal dallanmamış genişlemeye bakmanı öneriyorum.