Fermat's Christmas Theorem