square-triangle theorem