Start tag proof

proof