The proof passed. Can you see why it works?

	▲	The proof passed. Can you see why it works?(github.com)
		2 points by ashdee 10 hours ago