Campbells theorem