Dowód jest
0.047545909881592