Preliminary Theorem 7 Little