teorema di Cantor (1)