Sorry to bother. Can anyone verify whether or not I've proved something here? I'm not entirely sure if this is sufficient.

Thanks so much!