M. Chodorová and J. Švrček, “On basic theorems about a right-angled triangle”, MFI, vol. 31, no. 3, pp. 161–167, Aug. 2022.