... proceeds analogously as previous theorem" tq in advance