theorem :: NUMBER10:36

{ [p,q] where p, q is Prime : p,q are_not_twin } is infinite