HJW theorem

Summary