A quasi-Hopf algebra freeness theorem
  We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra. 
Peter Schauenburg