Sissejuhatus: Invariantide meetodist