In Theorem 18, $OA = OC$ because they are—

$OA$ and $OC$ are both line segments from the centre to points on the circle, so by definition they are radii of the same circle and therefore equal.