Calandra+Horgle prime prove