induction principle on prod type?