Question 474362
Multiply the short leg by {{{sqrt(2)}}}.