Tillämpningen af dessa satser på defyra