Theorem jca31

Description: Join three consequents. (Contributed by Jeff Hankins, 1-Aug-2009)

	Ref	Expression
Hypotheses	jca31.1	|- ( ph -> ps )
	jca31.2	|- ( ph -> ch )
	jca31.3	|- ( ph -> th )
Assertion	jca31	|- ( ph -> ( ( ps /\ ch ) /\ th ) )

Proof

Step	Hyp	Ref	Expression
1		jca31.1	|- ( ph -> ps )
2		jca31.2	|- ( ph -> ch )
3		jca31.3	|- ( ph -> th )
4	1 2	jca	|- ( ph -> ( ps /\ ch ) )
5	4 3	jca	|- ( ph -> ( ( ps /\ ch ) /\ th ) )