Theorem
0.051039218902588