convinced myself of induction (formalized intuitive proof); reviewed beautiful/gorgeous