other simplifications.

[helm.git] / matita / library / nat / gcd_properties1.ma

diff --git a/matita/library/nat/gcd_properties1.ma b/matita/library/nat/gcd_properties1.ma
index ad5cb2c6b7623cb86123eadbacfba80e24f6c63d..94aa67670aa07ac780712a2d3983097ed00d8f4b 100644 (file)
--- a/matita/library/nat/gcd_properties1.ma
+++ b/matita/library/nat/gcd_properties1.ma
@@ -256,7 +256,7 @@ apply (nat_case1 a)
 [ intros.
   apply (nat_case1 b)
   [ intros.
-    cut (d = O)
+    cut (d = O) (*this is an impossible case*)
     [ rewrite > Hcut.
       simplify.
       apply divides_SO_n