已知x,y属于C,那么“x>0,y>0”是“x+y>0且xy>0”的什么条件?判断条件并证明。