Definition:Prime Quadruplet