Another heuristic problem solving technique that is so popular and widely use is called "Prove by Contradiction" technique.
Euclid's beautiful proof by contradiction to show there are infinitely many prime numbers is one of the most mind-boggling method to prove something is true that leave us speechless with absolute admiration.