multiplication can now be compiled

added 3 more admits in order to make Multiplication.v compilable