Write-up

Last proof left to be written. Next directions: Improving theorem 4,
getting minimum dimensional neutral -> linear embedding, analyzing all
low-dimensional neutral SMPR