Betrothed numbers

Betrothed numbers are a pair of positive integers \( (m, n) \) such that each number plus one equals the sum of the other number's proper divisors. In formal terms, if \( \sigma(n) \) denotes the sum of the divisors of \( n \), then \( m \) and \( n \) are betrothed if the following conditions hold: 1. \( \sigma(m) - m = n + 1 \) 2.