$2\times0$2×0
$1\times2$1×2
$2\times2$2×2
$3\times2$3×2
Multiply two whole numbers from 0 to 12 and divide using related facts with procedural reliability.