Preliminary version

Straightening out Theorem

Advertisements