Um teorema de Witt sobre a imersão de extensões biquadráticas em quaterniônicas