https://123dok.net/document/zlg1830o-fattorini-criterion-approximate-controllability-stabilizability-parabolic-systems.html