Add start of proof