An acute angle between the diagonals of a cyclic quadrilateral is equal to $\phi$. Prove that an acute angle between the diagonals of any other quadrilateral having the same sidelengths is smaller than $\phi$.
Problem
Source: Sharygin First Round 2013, Problem 17
Tags: trigonometry, geometry, cyclic quadrilateral, geometry proposed