one-mouth theorem