start of proof