If you have Telegram, you can view and join
@ccerdik's proof right away.