adds part of proof to Solovay-Kitaev