The finitude of tamely ramified pro-p extensions of number fields with cyclic p-class groups | Synapse