>>688
∀a,b∈Z
が頭に付いてる式ならa,bに任意の整数(当然1も)を代入した式がそこから導けるよ