编程：全集为E={1,2,3,4,5},集合A,B的互为补集，验证E-A=B:

首先，如果集合A和B互为补集，则它们的并集是E，即A∪B=E。因此，我们可以得到A=E-B。将这个式子代入E-A中，得到：

E-A = E-(E-B) = E ∩ B

又因为A和B互为补集，所以B=E-A。将这个式子代入E-A=B中，得到：

E-A = E-(E-A) = E ∩ (E-A)

根据集合的交集定义，E ∩ (E-A) 就是 A。所以，我们得出了结论：E-A=B。