El primer sistema puede escribirse como