theorem :: INT_3:13

1. INT.Ring = 1 ;