for a, b, c being set holds ((a,b) followed_by c) . 0 = a