A well-known conjecture of Gilbreath, and independently Proth from the 1800s, states that if you let a 0,n = p n be the n th prime number and a i,n = |a i−1,n − a i−1,n+1 | for i, n ≥ 1, then a i,1 = 1 for all i ≥ 1. It has been postulated repeatedly that the property of having a i,1 = 1 for i large enough should hold for any choice of (a 0,n ) n≥1 provided that the gaps a 0,n+1 − a 0,n are not too large and are sufficiently random. We prove (a precise form of) this postulate.