demostracion de ecuaciones con identidades