prove two cheats in basis_env_inv