Hilbert basis in the face-centered cubic grid -- mathematical proofs | Synapse