Removed solution 6.23 to be replaced by another.