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