arrows.thm 1.4 KB