[STATEMENT]
lemma "((\<forall>x. P(x)) \<or> Q)  =  (\<forall>x. P(x) \<or> Q)"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. ((\<forall>x. P x) \<or> Q) = (\<forall>x. P x \<or> Q)
[PROOF STEP]
by blast