A characterization involving the four angles and all four sides of a quadrilateral
appeared as part of a proof of an inverse altitude characterization of tangential
quadrilaterals in [6, p.115]. According to it, a convex quadrilateral ABCD with
sides a = AB, b = BC, c = CD and d = DA is tangential if and only if