Mosca's theorem