Theorem of Joy

Two Lines