% not provable
%%%%%%%%%%%%%%%%%%%%%%
% not provable

%querytabled * * 
   D : check inc (nat => nat).

%querytabled * 5 check test2 nat.

%querytabled * *
  check sub' (nat => nat => nat).

%querytabled * 16 
check mult (nat => pos => nat).