Allmänt känd dcn satsen är,