http://lambdaplusjs35padjaiz4jw2fugdoeutse262phqr72uf634s2wdbqd.onion/math/1465
The proof that >adding two shapes that verify the theorem creates a shape that verifies the theorem is probably the most critical part. You can easily generalize it as [tex: f(S _ 1 ) + f(S _ 2 ) = f(S _ 1 \cup S _ 2 ) ] , where [tex: f(S) = I _ S +B _ S /2-1 ] and [tex: S _ 1 ] , [tex: S _ 2 ] , and [tex: S _ 1 \cup S _...