"Dimostriamo per induzione che c appartiene a phi. Lo capirete quando faremo il corollario dei due Carabinieri."