On cherche + tel que + m n = m+n

On a :     
     m+n ≡ s^m+n 0 ≡ s^m (sⁿ 0) = m s (sⁿ 0) ≡ m s n

On veut donc :  
     + m n = m s n = C_* s m n