2.2.3. "External diameter of a disc": a0c0