mathematical proof: proof of a mathematical theorem
proof: a formal series of statements showing that if one thing is true something else necessarily follows from it
lactifuge: any agent that reduces milk secretion (as given to a woman who is not breast feeding)