theorem :: CALCUL_1:50

canceled;