[math-fun] An interesting semiprime?