The theorem that was none - I. Early history - Alfred Gautschy (2015)