“…In fact in that case M ≤ C( u L ∞ ((0,T );L ∞ ) , u 0 H 5 , u 0 W 5,∞ ), which can be shown by an iteration (with respect to the order of the derivatives) of Gronwall inequalities (see [11] or [32,Theorem 7.1] for details). There are a number of well-known sufficient conditions that guarantee that a given Leray weak solution is in fact strong [7,10,21,24,27,29,32,33,34,39]. One of them is the Ladyzhenskaya-Prodi-Serrin [24,29,33] condition, u ∈ L p ((0, T ); L q (R 3 )), where p ∈ [2, ∞), q ∈ (3, ∞] are such that…”