theorem :: INT_1:38

canceled;