(TCC) gcd_divides_TCC1: OBLIGATION FORALL (i:int), (j:int) : ((i /= 0) OR (j /= 0)) IMPLIES ((i = 0) = > (j /= 0))
Proof (1 step)