Correctness of multiplication