Figure Asymptote geometry -- 009