Description: Given a is equivalent to b, b is equivalent to T. there exists a proof for a is equivalent to T. (Contributed by Jarvin Udandy, 29-Aug-2016)
|- ( ph <-> ps )
|- ( ps <-> T. )
|- ( ph <-> T. )