Факенсаро, а вот хз.

Сенектутем, "Конкретная конструкция, как укладывать, при таком подходе приходит в голову не сразу" - у тебя неконструктивное мышление:) Я сразу полез доказывать построением. Конструктивная математика форевер!