Raychaudhuri's theorem