I en rätwinklig triangel.