Finally cracked that proof