theorem :: INT_4:12

canceled;