Spoiler : 
Il faut voir toutes les listes suivantes comme des équivalences :
x^3 = y² implique x^3 ≥ 0 donc x ≥ 0
x² . y^3 = 3 implique y^3 ≥ 0 donc y ≥ 0
y = 27^(1/13)
x = 27^(2/39)
- x² . y^3 = 3
 - x^3 = y²
 
- x² . y^3 = 3
 - x^3 = y²
 - x ≥ 0
 - y ≥ 0
 
x^3 = y² implique x^3 ≥ 0 donc x ≥ 0
x² . y^3 = 3 implique y^3 ≥ 0 donc y ≥ 0
- x^6 . y^9 = 27 (mise au cube)
 - x^6 = y^4 (mise au carré)
 - x ≥ 0
 - y ≥ 0
 
- y^13 = 27
 - x = y^(2/3)
 - x ≥ 0
 - y ≥ 0
 
y = 27^(1/13)
x = 27^(2/39)
    


