21)
1-∀x (A(x)^B(x))			├─∀xA(x)^∀xB(x)

2- [¬(\/xA(x)^\/xB(x))]
	2.1- ¬\/xA(x) v ¬\/xB(x)	regra1(2)
	2.2- A(a)^B(a)			E\/(1) x/a
	2.3- A(a)				E^(2.2)
	2.4- B(a)				E^(2.2)
	2.5- [¬\/xA(x)]
		2.5.1- ¬A(a)		E\/(2.5) x/a
		2.5.2- _|_			ABS(2.3, 2.5.1)
	2.6-[¬\/xB(x)]
		2.6.1- ¬B(a)		E\/(2.5) x/a
		2.6.2- _|_			ABS(2.4, 2.6.1)
	2.7- _|_				Ev(2.1, 2.5, 2.6)
3- \/xA(x) ^ \/xB(x)			RA(2, 2.7)