r19-2
proof as program
ring 19 · position 2 · 60.0°