101.18 Proof without words: relationship between inverse cotangents. Issue 551 (15th June 2017) - Stephenson, Paul