Образец этого доказательства был впервые представлен в 1851 году и достигал в длину 67 метров. Название какому роману дало это доказательство?