ヴァニタスの証明

証明パラメータが欠落しています。