{1,2} c= {1,2,3,4} by Lemacik2;
hence {1,2} in bool {1,2,3,4} ; :: thesis: verum