👉 In mathematics, an "explananda" is a statement that provides background information about a particular theorem or lemma. It typically explains why the theorem holds and how it was derived. For example, in the proof of Fermat's Last Theorem (a problem in number theory), one would use an explanation like this: "In this proof, we will use the following fact: If two distinct primes \(p\) and \(q\) satisfy \(pq = 2^k + 1\),
