satsen funnes , det nämligen,