すいません証明は自分でできてるんです
ただ一応それが成り立つことを明示的に述べてる本があればと思いまして