complete (unworking) gem; add proof for reference