Sean tres discos $ D_1,D_2,D_3. $ Para cada $ i,j\in\{1,2,3\} , $ denota $ a_{ij} $ como el área de $ D_i\cap D_j. $ Si $ x_1,x_2,x_3\in\mathbb{R} $ tales que $ x_1x_2x_3\neq 0, $ entonces $$ a_{11} x_1^2+a_{22} x_2^2+a_{33} x_3^2+2a_{12} x_1x_2+2a_{23 }x_2x_3+2a_{31} x_3x_1>0. $$