# Close this post with .close and ask this question in #math-discussion or #proofs-and-logic instead.