transfer
theorem2