started fixing the Frob normal form proof, other minor modifications