Machin's Formula for Pi/Proof 2

Proof
Furthermore, because:

we can write:

From there, we substitute:

By transitivity:
 * $\dfrac \pi 4 = 4 \arctan \dfrac 1 5 - \arctan \dfrac 1 {239}$