Preliminary version

Straightening out Theorem