Proving order topology is normal without going through complete-normality

Question

I've been looking extensively for a proof that any toset equipped with the order topology is normal. Every proof I've seen actually shows that the space is in fact completely normal, but they use complicated arguments about convex sets. I would like to know if there exists a simple way to prove directly that the order topology is normal, without going through complete-normality.