Basis theorem