区间和减去长度能被 9 整除 10

给定 9 个整数 a_1, ..., a_9，证明存在一个非空连续区间，其区间和模 9 同余于该区间长度。