<%A%> . 0 = A ;
hence not <%A%> is natural-valued ; :: thesis: verum