theorem Th150: :: ABCMIZ_1:150

for C being initialized ConstructorSignature
for A being Subset of (QuasiAdjs C)
for f1, f2 being valuation of C holds (A at f1) at f2 = A at (f1 at f2)