Don't have Telegram yet? Try it now!
https://nebusresearch.wordpress.com/2017/02/21/one-way-to-get-your-own-theorem/
One Way To Get Your Own Theorem