TheoryMine is no longer trading. We wish you all many happy mathematical discoveries, and hope you enjoyed the robot-found theorems we discusevered that you named.