proof text

  1. redirectProoftext