Dowód
0.25189304351807