richardsons theorem

Input interpretation

Richardson's theorem