trigidentities