Were Dmitri Anosov and Mikhail Kravchuk both mathematician?