Theorem
0.051024198532104