the maple document is  p151.mw

Hi everyone, I'm trying to do some simple algebraic simplification operations and run into algsubs replacement failures,

 the symbol σ' is typed in this way:  σ +  prime (left Palettes -> Common Symbols -> prime) + (selecting σ'  and  press  Ctrl+Shift+A  make it  a  atomic variable) 

I'm new to this, any help or suggestion is welcome, thanks!