In this paper we present the Mizar formalization of the 36th problem from W. Sierpiński’s book “250 Problems in Elementary Number Theory” [10].