[(In (a,INT)),(In (b,INT)),(In (c,INT))] in [:INT,INT,INT:] ;
hence In ([a,b,c],[:INT,INT,INT:]) = [a,b,c] ; :: thesis: verum