Dowód jest
0.075735807418823