  We prove that a certain pair of bimodules over two artin algebras gives rise
to a triangle equivalence between the singularity categories of the two
corresponding trivial extension algebras. Some consequences and an example are
given.
