$0\times7$0×7
$7\times3$7×3
$5\times7$5×7
$1\times7$1×7
Multiply two whole numbers from 0 to 12 and divide using related facts with procedural reliability.