No i udowodnił
0.054662942886353