add proof environment; indenting