even? -- vonuvoli Definition predicate;
Procedure variants:
((integer-zero |1...|) -> (true))
integer-zero;... -- at least one time;true;((integer-even |1...|) -> (true))
integer-even;... -- at least one time;true;((integer-odd |1...|) -> (false))
integer-odd;... -- at least one time;false;((integer |1...|) -> (false))
vs:arithmetic -- (vonuvoli arithmetic);vs:base -- (vonuvoli base);