theorem
  f:=<0,...,0>c is non halting;
