Main theorem of invariant theory