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