♂♀證明題(♂♀習題之一)