Japanese theorem

The term Japanese theorem refers to either of the following two geometrical theorems:

{{mathdab}}