1. По определению НОК. НОК - минимальное из чисел, которое делится на оба исходных нацело. Минимальное возможное число, которое нацело делится на заданное равно самому этому числу. Соответственно для большего числа из пары это так же справедливо, т.о. условие из вопроса выполняется автоматически и для меньшего.
2. Если число делится на какое-то другое число, то оно автоматически делится и на все его делители, т.к. представляет собой произведение всех этих делителей на некий множитель, который в данном случае роли не играет.