proofusingcongruency2021