I udowodnił.
0.28741097450256