“…The uniqueness proof is done in a standard way, so it is omitted. To see that the solution ( u, w ) of (30) [7], Giga & Miyakawa [9], Kozono & Ogawa [13], we can show the Hölder continuity with respect to time for the nonlinear term in L 3 σ (Ω) × L α (Ω) and this allows us to show that ( u, w ) is, in fact, a strong solution for the system (29) in the sense given in Definition 2.3 (see Tanabe [29]), Theorem 3.3.4).…”