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