J de Lavals grafsättning