#theorem #proof #stepping stone #helper theorem