Working separately at first, each teenager burned through notebook after notebook, bumping into the same obstacle that had stymied countless others: most trig identities assume the theorem is already ...