Although I know that "ZFC & there exists a measurable cardinal" and "ZFC & there exists a real-valued measurable cardinal" are equiconsistent with one another, I am not sure whether "ZFC & there exists a measurable cardinal k & there exists a real-valued measurable cardinal b" is equiconsistent with ZFC. (Obviously k is not equal to b.) I would be grateful for an answer.