All modern theorems on splitting families of infinite sets follow Miller ’ s seminal 1937 inductive proof