Căutați rezultate pentru: 'reduce our proof to induction'