A rather elementary deduction.