ヴィルティンガーの不等式 (2形式に関する)