# Olympiad
Olympiad := Theorem(
    [-2*u**2+y_1**2+2*y_1*u, y_1*y_2-y_1*u+u*y_2-u*y_3, 
     u*y_2+y_1*y_3-y_1*u+u*y_3, 2*y_4-y_1, 2*y_5-y_1, 
     -y_1*y_6+y_1*u-u*y_6-u*y_7, y_6*u-y_1*u-y_1*y_7-u*y_7 ],
    [-2*y_2*y_4+y_4**2-2*y_3*y_5+y_5**2+2*y_2*y_6-y_6**2+2*y_3*y_7-y_7**2, 
     y_2**2+y_3**2-y_4**2-y_5**2], [y_1, y_2, y_3, y_4, y_5, y_6, y_7]);
