ok he was prominent in combinatorics what did he actually discover aug utc