File:MathFoundations142 Relativistic velocity addition, core circles and Paul Miller's protractor I