LACS.PAR.7.17: Apply the Rank Theorem to demonstrate the simple authentication scheme.