∅≠A⊆R sınırlı ve x∈A olsun. (Amacımız x∈[infA,supA] olduğunu göstermek.)
∅≠A⊆R ve sınırlı (yani hem alttan hem de üstten sınırlı) olduğundan bu linkteki sup aksiyomu gereği A kümesinin supremumu ve şu linkteki teorem gereği de A kümesinin infimumu vardır.
x∈A⇒infA≤xx∈A⇒x≤supA}⇒infA≤x≤supA⇒x∈[infA,supA] elde edilir ki bu da istediğimiz sonuçtur.