Proof: Converseofpowersubstitution

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	logb(bm) = m	logb(bm) = m (Log of an Exponential)
2	logb(bn) = n	logb(bn) = n (Log of an Exponential)
3	logb(bm) = logb(bn)	if bm = bn, then logb(bm) = logb(bn) (Substitution)
4	m = n	if logb(bn) = n and logb(bm) = m and logb(bm) = logb(bn), then m = n (Transitive Property Application 2)

Comments

Please log in to add comments