岡の原理って、シュタイン多様体なら連接層のコホモロジーが消えるってやつ？
それならポアンカレの補題の発展版だよね