單推第一式之推及化