灯台のレンズはすでにこれに似たような形状だぬ
数学的に論証したという点がすごいのだろうね