является конечной