theorem :: FINANCE3:25

( Special_SigmaField1 c< Special_SigmaField2 & Special_SigmaField2 c< Special_SigmaField3 ) by XX1, XX2;