F : [1,6]×N => [0,1]
P(A) := F(A,x)
F(A,x) = ((#A∩Z)/6)^x