Handelman's theorem for an order unit normed space

We give a detailed proof D. Handelman’s theorem stating (in the context of an order unit normed space) that a monotone sigma-complete order unit normed space is a Banach space.