4 satser , 1 om likhet , 1 om olikhet och dessas ömvändningar ,såsom