3次元の非圧縮Navier–Stokes方程式について、滑らかな初期条件から出発した解が、有限時間内に特異点を形成する