Right-angled triangle#9400