for A being QC-alphabet
for F, G, H being Element of QC-WFF A holds
( F is_immediate_constituent_of G '&' H iff ( F = G or F = H ) )