File containing proofs of 'The Second Creation'