3 as a Ninth Power (mod p).
An elementary proof is given of an arithmetic formula, which was stated but not proved by Liouville. An application of this formula yields a formula for the number of representations of a positive integer as the sum of twelve triangular numbers.