Low Basis Theorem