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