8.1 Prove that if a broadcast service provides both single-source FIFO ordering and total ordering, then it is also causal.