$( \Omega,F, P )$: a measurable space equipped with a finite measure 

$(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra

$p$ : a constant bigger than $1$

Define $L^p(\Omega, B )$ the vector space that contain all $( F, \mathcal{B})$-measurable function $f$ such that :

$ \vert \Vert  f \Vert \vert = \sqrt[p]{ \int_{\Omega} \Vert f \Vert ^p \cdot dP } < \infty$ 

I'm looking for a version of Riesz-Fischer theorem which affirms that:

**Proposition**: 
$\left( L^p(\Omega, B ) , \vert \Vert \cdot \Vert \vert \right)$ is a Banach space

With some quick calculations, I have the feeling that this proposition is quite easy to be proved. But as we all know, it's always better to have a reliable reference.

**So my question is:** "Is the above proposition true? And does anyone have references to this matter?"