The Coq mailing list

["David de Villiers" <davidc1 AT ananzi.co.za>]

Hi all,
Can anyone help with the solution of the following problem?
Suppose:
A={2,3}
B={2,3,4,5}
C={2,3}
D=A∩B (D is the intersection of A and B).
Prove that C=D.
Ciao,
David.

Sign up for Ananzi Mail Plus and you receive a larger mailbox, POP3 access, 
RPOP and much more. So sign up now, from just R 8,29 per month.

http://www.swiftsms.co.za/swiftT/track.asp?e=*em*&cid=113&u=8&tid=1138 ;