Diskussion om proof_moment9682