スカラー関数fのrot gradが0になる証明で
∇×(∇f) = (∇×∇)f = 0
というの見かけたのですが、ダメですよねこれ？