Это из задачника Остера. Очень прикольные задачки у него!