move proof to appendix