richardsons theorem