https://www.tech-wonders.com/2010/06/proof-of-addition-theorem-on.html