12.3 Side-Splitter Theorem