Prime numbers constraint

In reply to dave_59:

My question is that how I will make that lsb part as constant 7