Enviar por SMS: Permutability in proof terms for intuitionistic sequent calculus with cuts