corollary: (logic) an inference that follows directly from the proof of another proposition
variolation: the obsolete process of inoculating a susceptible person with material taken from a vesicle of a person who has smallpox