Положение "обязательно действие, от которого обязательно воздерживаться" принимается в деонтической (нормативной) логике:

из25 маленьких колес получится 12 велосипедов25:2=12и 1 лишний

из 30 больших на 12 велосипедов по колесу 30-12=18 лишних

можно собрать 12 велосипедов   и 1 маленькое и 18 больших колес останется