We show an extension theorem for strictly contracting bilinear mappings into a spherically complete valued vector space and we apply this result to prove that every maximal valued division algebra having the same characteristic as its residue division algebra is spherically complete
