Add a proof that (NotBothZero 0 0) is uninhabited.
Add a proof that (NotBothZero 0 0) is uninhabited.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm