They advantages determination in the demonstration function since greatest sequences bring a few spins so you can unfold