Proved a theorem about the combination of both passes