(Translated by https://www.hiragana.jp/)
[1411.6199] Maximality of the sum of the monotone operator of type (FPV) and a maximal monotone operator