>>100
あるよ
既に証明されている

https://www.youtube.com/watch?v=GZZH5ie4P5o