prove env_rs_can_Print