This is the dissertation's central formal result. Read it carefully: