Clifford's theorem