added mul-of-n? procedure