Comment by barcode_feeder

"The statements had been proved 20 years earlier by a little-known English mathematician named L.J. Rogers... Rogers was content to do his research in relative obscurity, play piano, garden and apply his spare time to a variety of other pursuits"

divinely inspiring