Theorem
0.094953060150146