甲起诉乙离婚，法院判决乙获得房屋的所有权，则甲失去房屋所有权是基于( )。