Approximately controllable finite-dimensional bilinear systems are controllable. - Daniele Cannarsa; Mario Sigalotti (Syst. Control. Lett., 2021)