A property of free entropy