Add proposition characterizing the values of any k-linear forms