Sulla dimostrazione di teoremi per completamento