Field/2 not 0/Product with squares/Explicit/Exercise