Comment by @91811 • Hey

Looks like a tasty proof. Verified?