num2: fixed proof environment