Figure Asymptote geometry -- 004