Basis theorem can refer to: