How Is Mathematics Discovered