for A being QC-alphabet
for p, q, r being Element of CQC-WFF A st p,q are_similar & q,r are_similar holds
p,r are_similar ;