Plaatswinst en optimalisatie via verrijdbare stellingen