By: ValentinHirschi <valentin.hirschi@gmail.com>
Admit exact positive rescaling of retained native margin proofs