[:(bool X),(bool X):] c= [:(bool X),(bool X):] ;
hence [:(bool X),(bool X):] is Dependency-set of X ; :: thesis: verum