theorem on the number of solutions of a homogeneous system