Mathsframe Mtc Multiplication Check