Minimality of Linear Switched Systems with known switching signal. Issue 1 (14th December 2021)