Comment by infinitebit

“The second condition falls out of the first”. Hi claude!