That's exactly what happened for several of these theorems.