Description: Given a is equivalent to T., also given that b is equivalent to T, there exists a proof for (a and b). (Contributed by Jarvin Udandy, 9-Sep-2016)
|- ( ph <-> T. )
|- ( ps <-> T. )
|- ( ph /\ ps )
|- ph
|- ps