Go backward to Natural LanguageGo up to TopGo forward to Examples |

- The statement
`p`is*prime*, if its only divisors are 1 and`p`.`p`__is prime__: <=> (**forall**`x`:`x`is a divisor of`p`=> (`x`= 1 \/`x`=`p`)). - The statement
`x`is a*divisor*of`y`, if`x`*`z`=`y`, for some`z`.`x`__is a divisor of__`y`: <=>**exists**`z`:`x`*`z`=`y`.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999