О синтезе легкотестируемых схем и об оценках длины тестовстатья