theorem :: NUMBER03:59

{ p where p is Prime : ( ex a, b being Prime st p = a + b & ex c, d being Prime st p = c - d ) } = {5}