[analytical+proofs.JPG]