Move some theoretical results in the appendix
Move assumptions from theorem to stand alone