we can now express (13) as