converse of pythagoras' theorem 2020