beräkning visar , att förstatens