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