Updated field access proof to reflect changes to homomorphism definition.