Proof

1.43K ^False 25 ^False