レビ形式が正定値になるとケーラー形式になる