Compete High - Common Problems to check in a Proof