Is (5, 7, 74−−√ )