если A^x+B^y=C^z где A,B,C,x,y,z принадлежат множеству натуральных чисел и x,y,z>2 то A,B,C имеют общий простой делитель
Гипотеза Била не утверждает отсутствия других общих делителей, кроме требуемого простого.
Гипотеза Била требует наличия общего простого делителя (на самом деле общего делителя, так как если существует общий составной делитель, то существует и простой - любой из тех на которые раскладывается составной).
Таким образом, приведенный пример не опровергает гипотезу Била, так как требуемый простой общий делитель (2) в наличии имеется. Если бы гипотеза утверждала что существует ТОЛЬКО единственный простой общий делитель, то она опровергалась бы элементарно.
Контрпримером для гипотезы Била будет такой набор чисел A, B, C, x, y, z, что A, B, C - взаимно простые, то есть не имеют общих делителей.