szimmetria-airtemmizs - An other nice theorem, try to prove it!...