Ett stående bewis för alt det n » relateradeförhållandet