Théorème sur les propriétés de la décomposition idéale