( Den nu antydda lösningen behandlas närmare i avsnitt 7.3.1 ) .