Teorema di unicità dell’estremo superiore dimostrazione