Theorem
0.049206972122192