Zamieniono hardkodowany iloczyn/4 na ilocz/4 #10

Nie przynioslo to zadnej optymalizacji czasowej (co wiecej, pogorszylo
czas o 0.3 sek dla wielkiej zagadki - czyli stosunkowo niewiele), ale
wyglada lepiej niz hardkodowany iloczyn. Zatem akceptuje to pogorszenie.

Czasy:
M:     184,577 inferences, 0.031 CPU in 0.031 seconds (100% CPU, 5915892 Lips)
D:   4,564,086 inferences, 0.842 CPU in 0.842 seconds (100% CPU, 5417921 Lips)
W: 240,543,978 inferences, 43.477 CPU in 43.477 seconds (100% CPU,5532611 Lips)