Largest Product of Pandigital Factors

Theorem
The largest integer that can be obtained by multiplying $2$ integers which between them use all the digits from $1$ to $9$ is:
 * $843 \, 973 \, 902 = 9642 \times 87531$