9:3:3:1及其变式的归纳应用