Dowód jest
0.047473907470703