Use a technique called strong induction to prove an elementary theorem about prime numbers. Next, apply strong induction to the famous Fibonacci sequence, verifying the Binet formula, which can specify any number in the sequence. Test the formula by finding the 21-digit-long 100th Fibonacci number.