Aschbacher's component theorem