Если доказать можно только то, что сделано, – значит, можно сделать и доказать.