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