Prove 20that 20a 5e3 20b 5e3 20c 5e3 3abc