Theorem
0.060971021652222