K02L07

2.7. Θεωρώ το A = { x : - x B}. To A είναι μη κενό κάτω φραγμένο υποσύνολο

του Ζ, και από την 2.6. έχει ελάχιστο στοιχείο. Εστω k = minA. Εύκολα

αποδεικνύεται ότι - k = maxB.