Lévy’s continuity theorem