5.3.1. Invariantide meetodist