Beviset är den starkareducering