DivisibleSequence D2L3 featuring subtle observations and Fermat's little theorem