Theorem arity_zero

Modification history