Уф, вроде все прошло :-)!!! Я что-то так боялась, а оказалось совсем не сложно. С телефоном только вот застопорилось.

__________________
в любой достаточно богатой системе аксиом существует утверждение, которое внутри этой выбранной системы аксиом нельзя ни подтвердить, ни опровергнуть.