Testing with guarantees and the failure of regression testing in eXtreme Programming

(1)

This is a repository copy of

Testing with guarantees and the failure of regression testing in

eXtreme Programming

.

White Rose Research Online URL for this paper:

http://eprints.whiterose.ac.uk/78799/

Proceedings Paper:

Simons, A.J.H. (2005) Testing with guarantees and the failure of regression testing in

eXtreme Programming. In: Baumeister, H., Marchesi, M. and Holcombe, M., (eds.)

Extreme Programming and Agile Processes in Software Engineering, Proceedings. 6th

International Conference, XP 2005, June 18-23, Sheffield, UK. Springer , 118 - 126. ISBN

978-3-540-26277-0

[email protected] https://eprints.whiterose.ac.uk/

Reuse

Unless indicated otherwise, fulltext items are protected by copyright with all rights reserved. The copyright exception in section 29 of the Copyright, Designs and Patents Act 1988 allows the making of a single copy solely for the purpose of non-commercial research or private study within the limits of fair dealing. The publisher or other rights-holder may allow further reproduction and re-use of this version - refer to the White Rose Research Online record for this item. Where records identify the publisher as the copyright holder, users can verify any specific terms of use on the publisher’s website.

Takedown

If you consider content in White Rose Research Online to be in breach of UK law, please notify us by

(2)

promoting access to White Rose research papers

White Rose Research Online

[email protected]

Universities of Leeds, Sheffield and York

http://eprints.whiterose.ac.uk/

This is an author produced version of a paper published in Extreme

Programming and Agile Processes in Software Engineering, Proceedings.

White Rose Research Online URL for this paper:

http://eprints.whiterose.ac.uk/78799

Published paper

Simons, A.J.H. (2005) Testing with guarantees and the failure of regression

testing in eXtreme Programming. In: Baumeister, H., Marchesi, M. and Holcombe,

M., (eds.) Extreme Programming and Agile Processes in Software Engineering,

Proceedings. 6th International Conference, XP 2005, June 18-23, Sheffield, UK.

Springer , 118 - 126. ISBN 978-3-540-26277-0

(3)

⊂≈↑←•″≠ ♥•←÷ ∧↔↵→↵″←≈≈↑ ↵″… ←÷≈ ∨↵•×↔→≈ ±≡ ∈≈≠→≈↑↑•±″

⊂≈↑←•″≠ •″ ≈∪←→≈≥≈ ∠→±≠→↵≥≥•″≠

⇓″←÷±″♣ √ ¬ ⊆•≥±″↑

⇐≈°↵→←≥≈″← ±≡ ⇑±≥°↔←≈→ ⊆•≈″≈ ⊄″•♠≈→↑•←♣ ±≡ ⊆÷≈≡≡•≈×… ∈≈≠≈″← ⇑±↔→←  ∠±→←±≈××± ⊆←→≈≈← ⊆÷≈≡≡•≈×… ⊆ ⇐∠ ⊄″•←≈… ∏•″≠…±≥

⇓∫⊆•≥±″↑◊…↑∫↑÷≈≡∫↵∫↔∝ ÷←←°〉〉♥♥♥∫…↑∫↑÷≈≡∫↵∫↔∝〉′↵∂÷↑〉

⇓↑←→↵←∫ ⊂÷≈ ≈∪←→≈≥≈ ∠→±≠→↵≥≥•″≠ ∪∠ ≥≈←÷±… ≈↑÷≈♥↑ ↵×× ≡±→≥↵× …≈↑•≠″ ↔← ±≥°≈″↑↵←≈↑ ≡±→ ←÷•↑ ♣ →•≠±→±↔↑ ↔″•← ←≈↑←•″≠∫ ⊂≈↑←⌠↑≈←↑ ♥÷•÷ ±″↑←•←↔←≈ ←÷≈ ±″×♣ ≈″…↔→•″≠ ↑°≈•≡•↵←•±″ ↵→≈ •″←↔•←•♠≈×♣ …≈♠≈×±°≈… ↵″… ↑± ≥↵♣ ″±← ≈ ±≥°×≈←≈∫ ⊂÷•↑ °↵°≈→ °→≈↑≈″←↑ ↵ ≥≈←÷±… ≡±→ ≠≈″≈→↵←•″≠ ±≥°×≈←≈ ↔″•← ←≈↑←⌠↑≈←↑ ≡±→ ±∂≈←↑ ↵↑≈… ±″ ↑•≥°×≈ ≡•″•←≈ ↑←↵←≈ ≥↵÷•″≈↑∫ ⊄↑•″≠ ←÷•↑ ≥≈←÷±… •← •↑ °±↑⌠ ↑•×≈ ←± °→±♠≈ ←÷↵← ↑↵♠≈… →≈≠→≈↑↑•±″ ←≈↑←⌠↑≈←↑ …± ″±← °→±♠•…≈ ←÷≈ ≈♦°≈←≈… ≠↔↵→⌠ ↵″←≈≈↑ ±≡ ±→→≈←″≈↑↑ ♥÷≈″ ↵°°×•≈… ←± ≥±…•≡•≈… ±→ ≈♦←≈″…≈… ±∂≈←↑∫ ⊆↔÷ ±⌠ ∂≈←↑ ♥÷•÷ °↵↑↑ ←÷≈ ↑↵♠≈… ←≈↑←↑ ≥↵♣ ♣≈← ±″←↵•″ •″←→±…↔≈… ≡↵↔×←↑∫ ⊂÷•↑ °↔←↑ ←÷≈ ♥÷±×≈ °→↵←•≈ ±≡ →≈≠→≈↑↑•±″ ←≈↑←•″≠ •″ ∪∠ •″←± ↓↔≈↑←•±″∫ ⊂± ±←↵•″ ←÷≈ ↑↵≥≈ ×≈♠≈× ±≡ ≠↔↵→↵″←≈≈ ←≈↑←↑ ≥↔↑← ≈ →≈≠≈″≈→↵←≈… ≡→±≥ ↑→↵←÷ ≡±→ ←÷≈ ≈♦←≈″…≈… ±∂≈←∫ ⇓ ″±←•±″ ±≡ ≠↔↵→↵″←≈≈… →≈°≈↵←↵×≈ ↓↔↵×•←♣ ↵≡←≈→ ←≈↑←•″≠ •↑ …≈≡•″≈…∫



⋅″←→±…↔←•±″

⊂÷≈ °±°↔×↵→ ≈∪←→≈≥≈ ∠→±≠→↵≥≥•″≠ ∪∠ ≥≈←÷±… ←÷→±♥↑ ↵♥↵♣ ←÷≈ ≡±→≥↵× ↵″↵×♣↑•↑ ↵″… …≈↑•≠″ ↑←↵≠≈↑ ±≡ ±″♠≈″←•±″↵× ↑±≡←♥↵→≈ ≈″≠•″≈≈→•″≠ ⊕  ℘ •″ →≈↵←•±″ ←± ←÷≈ ÷•≠÷ ±♠≈→÷≈↵… ±≡ ↑←↵″…↵→… …≈♠≈×±°≥≈″← °→±≈↑↑≈↑ ↵″… ←÷≈ ≈♦←→↵ …±↔≥≈″←↵←•±″ ←÷↵← ←÷≈↑≈ →≈↓↔•→≈ ⊕ ℘∫ ¬±♥≈♠≈→ ←÷≈ ×↵∝ ±≡ ≡±→≥↵× …≈↑•≠″ •″ ∪∠ ÷↵↑ →≈≈•♠≈… ↑±≥≈ ±″↑←→↔⌠ ←•♠≈ →•←••↑≥ ⊕℘ •←↑ •≈♦←→≈≥≈″≈↑↑Œ ≥↵♣ ≈ ÷↵→↵←≈→•ƒ≈… ♣ ←÷•↑ ↵″… ←÷≈ ≡↵← ←÷↵← ←÷≈ ↑±≡←♥↵→≈ ↵↑≈ •↑ ↑↔∂≈← ←± ±″↑←↵″← ≥±…•≡•↵←•±″ …↔→•″≠ ←÷≈ ×•≡≈←•≥≈ ±≡ ←÷≈ °→±∂≈← ♥•←÷ ↵×× …≈♠≈×±°≈→↑ ≠→↵″←≈… ←÷≈ ≡→≈≈…±≥ ←± ÷↵″≠≈ ↵″♣ °↵→← ±≡ ←÷≈ ↑±≡←♥↵→≈∫

(4)

∫ ∠↵→↵××≈× ⇐≈↑•≠″ ↵″… ⊂≈↑←

∠→↵←•↵× ±∂≈←⌠±→•≈″←≈… ↔″•← ←≈↑←•″≠ ÷↵↑ ≈≈″ •″≡×↔≈″≈… ±″↑•…≈→↵×♣ ♣ ←÷≈ ″±″⌠ •″←→↔↑•♠≈←≈↑←•″≠ °÷•×±↑±°÷♣ ±≡ ∧→≈≠±→≈← ↵×⊕ ð℘∫ ⋅″ ←÷•↑ ↵°°→±↵÷ ≈♠≈→♣ ∇⊄⊂ ÷↵↑ ↵ ±→→≈↑°±″…•″≠ ←≈↑←⌠÷↵→″≈↑↑ ±∂≈← ⊂¬∇ ♥÷•÷ ≈″↵°↑↔×↵←≈↑ ↵×× ←÷≈ ←≈↑←⌠↑≈←↑ ↑≈°↵→↵←≈×♣ ↔← ≥↵♣ ÷↵♠≈ °→•♠•×≈≠≈… ↵≈↑↑ ←± ±↑≈→♠≈ ←÷≈ •″←≈→″↵× ↑←↵←≈↑ ±≡ ←÷≈ ∇⊄⊂ ≈∫≠∫ ♠•↵≡→•≈″……≈×↵→↵←•±″↑ •″ ⇑⌡⌡∫ ⊂÷≈ ∇⊄⊂ •↑ ←÷≈→≈≡±→≈ ↔″×↔←←≈→≈… ♣ ←≈↑← ±…≈ ↵″… ≥↵♣ ≈ …≈×•♠≈→≈… ↵↑⌠•↑ ↵≡←≈→ ←≈↑←•″≠∫ ⊂÷•↑ ↑≈°↵→↵←•±″ ±≡ ±″≈→″↑ ×•≈↑ ≈÷•″… ←÷≈ °↵→↵××≈× …≈↑•≠″ ↵″… ←≈↑← ↵→÷•←≈←↔→≈↑≈≈ ≡•≠↔→≈  •″ ♥÷•÷ ↵″ •↑±≥±→°÷• •″÷≈→•⌠ ←↵″≈ ≠→↵°÷ ±≡ ←≈↑← ÷↵→″≈↑↑ ×↵↑↑≈↑ ↑÷↵…±♥↑ ←÷≈ ≠→↵°÷ ±≡ °→±…↔←•±″ ×↵↑↑≈↑ ⊕ð℘∫

∇⊄⊂ ∠↵→≈″←

∇⊄⊂ ⇑÷•×…

⊂¬∇ ∠↵→≈″←

⊂¬∇ ⇑÷•×…

∨•≠∫ ∫ ∧→≈≠±→Ž↑ ↑±≡←♥↵→≈ ↵→÷•←≈←↔→≈ ≡±→ °↵→↵××≈× …≈↑•≠″ ↵″… ←≈↑← ↵↑←→↵←•±″↑∫ ±←•♠↵←≈… ♣ ←÷≈ ↑≈°↵→↵←•±″ ±≡ ±″≈→″↑ ≈←♥≈≈″ °→±…↔←•±″ ↵″… ←≈↑← ±…≈ ←÷•↑ ×≈↵…↑ ←± ←÷≈ ″±←•±″ ±≡ •″÷≈→•←↵×≈ ←≈↑←⌠↑≈←↑ ♥÷•÷ ↵→≈ →≈↔↑≈… ♥÷≈″ ←≈↑←•″≠ →≈≡•″≈… ×↵↑↑≈↑

∨→±≥ ←÷•↑ ↵→•↑≈↑ ↵ ≈≠↔•×•″≠ ″±←•±″ ↑•″≈ ↵ ÷•×… ×↵↑↑ •↑ ↵″ ≈♦←≈″↑•±″ ±≡ •←↑ °↵→≈″← ↑± ←÷≈ ←≈↑←⌠↑≈←↑ ≡±→ ←÷≈ ÷•×… ≥↔↑← ≈ ↑•≥°×≈ ≈♦←≈″↑•±″↑ ±≡ ←÷≈ ←≈↑←⌠↑≈←↑ ≡±→ ←÷≈ °↵→≈″←∫ ⊂÷≈ °→≈↑↔≥≈… ↵…♠↵″←↵≠≈ •↑ ←÷↵← ≥±↑← ←≈↑←⌠↑≈←↑ ↵″ ≈•″÷≈→•←≈…≡→±≥ ←÷≈ °↵→≈″← ⊂¬∇ ↵″… →≈↵°°×•≈…↵↑ ↵ ↑↔•←≈ ←± ←÷≈ ÷•×… ∇⊄⊂ •″ ↵ ∝•″… ±≡ →≈≠→≈↑↑•±″ ←≈↑←∫ ⊂÷≈ ÷•×… ⊂¬∇ •↑ ↔″…≈→↑←±±… ←± ↑↔°°×♣ ↵……•←•±″↵× ←≈↑←⌠↑≈←↑ ←± ≈♦≈→•↑≈ ←÷≈ ″≈♥ ≥≈←÷±…↑ •″←→±…↔≈… •″ ←÷≈ ÷•×… ∇⊄⊂ ⊕ ð℘∫ ⇒≈×±♥ ♥≈ ↑÷±♥ ∂↔↑← ÷±♥ ↔″→≈×•↵×≈ ←÷•↑ •″←↔•←•±″ •↑∫

∫ ∈≈♣×•″≠ ⊄″•← ⊂≈↑← ⊆≈←↑ •″ ∪∠

⊂÷≈ √⊄″•← ←±±× ≡±↑←≈→↑ ↵ ↑•≥•×↵→ ↑←→↵←≈≠♣ ≡±→ →≈⌠←≈↑←•″≠ ×↵↑↑≈↑ ←÷↵← ↵→≈ ↑↔∂≈← ←± ±″⌠ ←•″↔±↔↑→≈≡↵←±→•″≠•″←≈→″↵× →≈±→≠↵″•ƒ↵←•±″ ♣•≈×…•″≠ ←÷≈ ↑↵≥≈ ≈♦←≈→″↵× ≈÷↵♠•±↔→ ↵″… ↑↔×↵↑↑•″≠≈♦←≈″↑•±″ ♥•←÷±↔← •″♠↵×•…↵←•″≠ ±×… ≈÷↵♠•±↔→ ⊕ ℘∫ √⊄″•← ↵××±♥↑ °→±⌠ ≠→↵≥≥≈→↑ ←± …≈♠≈×±° ↵″… ↑↵♠≈←≈↑← ↑↔•←≈↑ ♥÷•÷ ≥↵♣ ≈ ≈♦≈↔←≈… →≈°≈↵←≈…×♣∫ ∇″≈ ±≡ ←÷≈ ∝≈♣ ≈″≈≡•←↑ ±≡ √⊄″•← •↑ ←÷↵← •← ≥↵∝≈↑ ←÷≈ →≈⌠←≈↑←•″≠ ±≡ →≈≡↵←±→≈… ↵″… ↑↔×↵↑↑≈… ±∂≈←↑ ↑≈≥•⌠↵↔←±≥↵←• ↑± •← •↑ ♥•…≈×♣ ↔↑≈… •″ ←÷≈ ∪∠ ±≥≥↔″•←♣ •″ ♥÷•÷ ←÷≈ →≈♣⌠ ×•″≠ ±≡ ±×… ←≈↑←⌠↑≈←↑ ÷↵↑ ≈±≥≈ ↵ ≥↵∂±→ °↵→← ±≡ ←÷≈ ↓↔↵×•←♣ ↵↑↑↔→↵″≈ ↑←→↵←≈≠♣∫

(5)

°↵↑↑≈↑↵×× ←÷≈ ←≈↑←↑ •↑ ↑←•×× ↵↑ ↑≈↔→≈ ↵↑ ←÷≈ ±→•≠•″↵× ±…≈ ←≈↑←↑ ↵↑ ≠↔↵→↵″←≈≈↑∫ ⊂÷•↑ ↵↑↑↔≥°←•±″ •↑ ↔″↑±↔″… ↵″… ↔″↑↵≡≈∫ ⇓≡←≈→ °↵↑↑•″≠ ←÷≈ →≈♣×≈… ←≈↑←↑ ±∂≈←↑ ≥↵♣ ♣≈← ±″←↵•″ ≡↵↔×←↑ •″←→±…↔≈… ♣ ←÷≈ →≈≡•″≈≥≈″←∫ ⊂÷≈ ≠↔↵→↵″←≈≈ °→±♠•…≈… ♣ °↵↑↑•″≠ ←÷≈ →≈♣×≈… ←≈↑←↑ •↑ ↑←→•←×♣ ♥≈↵∝≈→ ←÷↵″ ←÷≈ ±→•≠•″↵× ≠↔↵→↵″←≈≈ ←÷↵← ←÷≈ ↑↵≥≈ ←≈↑←⌠↑≈← °→±⌠ ♠•…≈… •″ •←↑ ±→•≠•″↵× ±″←≈♦←∫ ⊄↑•″≠ ↑•≥°×≈ ↑←↵←≈⌠↵↑≈… ≥±…≈×↑ ±≡ ±∂≈←↑ •← •↑ °±↑↑•×≈ ←± ↑÷±♥ ♥÷♣ →≈♣×≈… ←≈↑←⌠↑≈←↑ °→±♠•…≈ •″±≥≥≈″↑↔→↵←≈ ↵″… ←÷≈→≈≡±→≈ •″↵…≈↓↔↵←≈ ←≈↑← ±♠≈→↵≠≈ •″ ←÷≈ ″≈♥ ±″←≈♦←∫



∧≈″≈→↵←•″≠ ⇑±≥°×≈←≈ ⊄″•← ⊂≈↑←⌠⊆≈←↑

⊆←↵←≈ ≥↵÷•″≈↑ ÷↵♠≈ ≡→≈↓↔≈″←×♣ ≈≈″ ↔↑≈… ↵↑ ≥±…≈×↑ ±≡ ±∂≈←↑ ±←÷ ←± ↵→←•↔×↵←≈ ←÷≈•→ …≈↑•≠″ ⊕ ℘ ↵″… ≥±→≈ ≡±→≥↵××♣ ↵↑ °↵→← ±≡ ↵ ←≈↑←•″≠ ≥≈←÷±… ⊕   ℘∫ ⋅″ ←÷≈ ≥±→≈ →•≠±→±↔↑ ↵°°→±↵÷≈↑ •← •↑ °±↑↑•×≈ ←± …≈♠≈×±° ↵ ″±←•±″ ±≡±≥°×≈←≈ ←≈↑← ±♠≈→↵≠≈ ↵↑≈… ±″ ←÷≈ ≈♦÷↵↔↑←•♠≈ ≈♦°×±→↵←•±″ ±≡ ←÷≈ ±∂≈←Ž↑ ↑←↵←≈↑ ↵″… ←→↵″↑•←•±″↑∫ ⊂÷≈ ≡±××±♥⌠ •″≠ •↑ ↵″ ↵…↵°←↵←•±″ ±≡ ←÷≈ ∪⌠↵÷•″≈ ←≈↑←•″≠ ≥≈←÷±… ⊕ ℘ ♥÷•÷ ±≡≡≈→↑ ↑←→±″≠≈→ ≠↔↵→↵″←≈≈↑ ←÷↵″ ±←÷≈→ ≥≈←÷±…↑ •″ ←÷↵← •←↑ ←≈↑←•″≠ ↵↑↑↔≥°←•±″↑ ↵→≈ ×≈↵→ ↵″… •← ←≈↑←↑ ″≈≠↵←•♠≈×♣≡±→ ←÷≈ ↵↑≈″≈ ±≡ ↵×× ↔″…≈↑•→≈… ≈÷↵♠•±↔→ ↵↑ ♥≈×× ↵↑°±↑•←•♠≈×♣≡±→ ←÷≈ °→≈↑⌠ ≈″≈ ±≡ ↵×× …≈↑•→≈… ≈÷↵♠•±↔→∫ ⋅← •↑ ♥≈×× ∝″±♥″ ←÷↵← °→±≠→↵≥≥≈→↑ ≡↵•× ←± ±″↑•…≈→ ←÷≈ ≡±→≥≈→ ↑•″≈ •← •↑ ÷↵→… ←± ←÷•″∝ ±≡ ↵×× ←÷≈ ↔″•″←≈″…≈… ♥↵♣↑ •″ ♥÷•÷ ↵ ↑♣↑←≈≥ ≥•≠÷← °±↑↑•×♣ ≈ ↵↔↑≈… ♥÷≈″ ←÷≈ ≡±↔↑ •↑ ±″ °±↑•←•♠≈ ±↔←±≥≈↑∫ ± ≥↵←←≈→ ÷±♥ ↑•≥°×≈ ↵″… …•→≈← ←÷≈ ÷↵″…⌠→↵≡←≈… ←≈↑←↑ ≥•≠÷← ↵°°≈↵→ •≡ ←÷≈♣ …±″Ž← ±♠≈→ ←÷≈ ±∂≈←Ž↑ ↑←↵←≈ ↑°↵≈ ←÷≈♣ ↵→≈•″±≥°×≈←≈ ↵″… ±″×♣ ±≡≡≈→ ↵ ≡↵×↑≈ ↑≈″↑≈ ±≡ ↑≈↔→•←♣∫

⇔↵→×•≈→ ±≥°↵″•±″ ♥±→∝ ↑÷±♥≈… ÷±♥ ≈↵↑♣ ↵″… °→↵←•↵× •← •↑ ←± ≠≈″≈→↵←≈ ↑•≥°×≈ ↑←↵←≈ ≥↵÷•″≈↑ …•→≈←×♣ ≡→±≥ ∪∠ ↑←±→♣ ↵→…↑ ⊕℘ ↵″… ⊄ ↔↑≈ ↵↑≈↑ ⊕℘∫ ⊂÷•↑ ↑↔°⌠ °±→←≈… ←÷≈ ↵↔←±≥↵←• ≠≈″≈→↵←•±″ ±≡ ±≥°×≈←≈↔↑≈→⌠↵≈°←↵″≈ ←≈↑←↑∫ ⋅″ ⊕ð℘ ←÷≈ ↵↔←±⌠ ≥↵←• ≠≈″≈→↵←•±″ ±≡ ±≥°×≈←≈↔″•← ←≈↑←↑≡→±≥ ↑←↵←≈ ≥↵÷•″≈↑ ♥↵↑ ↑÷±♥″ ←± ±↔←°≈→≡±→≥ ↵…⌠÷± ←≈↑← ↑→•°←•″≠∫ ⊂÷≈ ≡±↔↑ ±≡ ←÷≈ ↔→→≈″← °↵°≈→ •↑→≈≠→≈↑↑•±″ ←≈↑←•″≠↵″… ±≥⌠ °×≈←≈ ←≈↑←→≈≠≈″≈→↵←•±″•″ ←÷≈ ±″←≈♦← ±≡ ±∂≈← ≈♠±×↔←•±″∫

∫ ⊆←↵←≈⌠⇒↵↑≈… ⇐≈↑•≠″

⇓″ ±∂≈← ≈♦•↑←↑ •″ ↵ ↑≈→•≈↑ ±≡ ↑←↵←≈↑ ♥÷•÷ ↵→≈ ÷±↑≈″ ♣ ←÷≈ …≈↑•≠″≈→ ←± →≈≡×≈← ≥±…≈↑ •″ ♥÷•÷ •←↑ ≥≈←÷±…↑ →≈↵← …•≡≡≈→≈″←×♣ ←± ←÷≈ ↑↵≥≈ ≥≈↑↑↵≠≈↑∫ ⊂÷≈ ″↔≥≈→ ±≡ ↑←↵←≈↑ ↵″ ±∂≈← ↵″ ÷↵♠≈ …≈°≈″…↑ ±″ ←÷≈ •″…≈°≈″…≈″←×♣⌠♠↵→♣•″≠ ♠↵×↔≈↑ ±≡ ↵×× ±≡ •←↑ ↵←←→•↔←≈↑∫ ⊂÷≈ ←÷≈±→≈←•↵× ≥↵♦•≥↔≥ •↑ ←÷≈ ⇑↵→←≈↑•↵″ °→±…↔← ±≡ •←↑ ↵←←→•↔←≈ …±≥↵•″↑∫ ⊂♣°•↵××♣ ←÷•↑ ≡•″≈⌠≠→↵•″≈… ↵←←→•↔←≈ ↑°↵≈ •↑ °↵→←•←•±″≈… •″←± ±↵→↑≈→ ↑←↵←≈↑ •″ ♥÷•÷ ≈÷↵♠•±↔→ •↑ ↓↔↵×•←↵←•♠≈×♣ •←÷≈ ↑↵≥≈Œ •″ ≈↵÷ °↵→←•←•±″ ⊕ ℘∫ ⊃≈ …≈≡•″≈ ↑←↵←≈↑ ≥±→≈ ↵↑←→↵←×♣ ↵↑ °↵→←•←•±″↑ ±≡ ←÷≈ °→±…↔← ±≡ ←÷≈ →↵″≠≈↑ ±≡ ↵″ ±∂≈←Ž↑ ↵≈↑↑ ≥≈←÷±…↑ ⊕℘∫ ⊂÷•↑ °≈→≥•←↑ ←÷≈ …≈↑•≠″ ±≡ ↑←↵←≈ ≥↵÷•″≈↑ ≡±→ ≡↔××♣ ↵↑←→↵← ×↵↑↑≈↑ ↵″… •″←≈→≡↵≈↑ ♥÷•÷ ♣ …≈≡•″•←•±″ ÷↵♠≈ ″± ±″→≈←≈ ↵←←→•↔←≈↑∫

(6)

↑←↵←≈∫ ⊃≈ ↵↑↑↔≥≈ ♣ ±″♠≈″←•±″ ←÷↵← ←÷≈ ↵≈↑↑ ≥≈←÷±…↑ ∞←±° ≈≥°←♣ ↑•ƒ≈≤ ♥÷•÷ ↵→≈ ″±← ↑÷±♥″ ↵×× ÷↵♠≈ •≥°×••← ←→↵″↑•←•±″↑ ×±±°•″≠ ≡→±≥ ≈↵÷ ↑←↵←≈ ↵∝ ←± •←↑≈×≡∫

⇔≥ °←♣

↑ •ƒ≈   ð

±→≥ ↵ ×

↑ •ƒ≈   ð °↔ ↑÷ ≈ 

° ↔ ↑÷ ≈ 

° ± °  ⊕↑ •ƒ≈    ℘ ° ± °  ⊕↑ •ƒ≈    ℘

°± °  ″ ≈ ♥

∨•≠∫ ∫ ⊆←↵←≈ ≥↵÷•″≈ ≡±→ ↵⊆←↵∝∫ ⊂÷≈ ←♥± ↑←↵←≈↑ ⇔≥°←♣ ±→≥↵× ↵→≈ …≈≡•″≈… ±″ ↵ °↵→←•←•±″ ±≡ ←÷≈ →↵″≠≈ ±≡ ←÷≈↑•ƒ≈↵≈↑↑ ≥≈←÷±…∫ ∇″×♣ ↑←↵←≈⌠≥±…•≡♣•″≠ ←→↵″↑•←•±″↑ ↵→≈ ↑÷±♥″ ≈♦°×••←×♣∫

⊂÷≈ ↑←↵←≈ ≥↵÷•″≈ •↑ …≈♠≈×±°≈… ♣ ±″↑•…≈→•″≠ ←÷≈ ≥±…≈↑ •″ ♥÷•÷ ≈→←↵•″ ≥≈←÷±…↑ ≈÷↵♠≈ …•≡≡≈→≈″←×♣∫ ¬≈→≈°±°↵″…←±°↵→≈ ×≈≠↵× •″ ←÷≈±→≥↵×↑←↵←≈ ↔← ↔″…≈≡•″≈… •″ ←÷≈⇔≥°←♣ ↑←↵←≈∫ ⊂÷≈→≈ •↑ ↵ ↑•″≠×≈ ←→↵″↑•←•±″ ←± ←÷≈ •″•←•↵× ↑←↵←≈ →≈°→≈↑≈″←•″≠ ±∂≈← ±″↑←→↔←•±″∫ ⊂→↵″↑•←•±″↑ ↵→≈ ←÷≈″ ↵……≈… ≡±→≈♠≈→♣≥≈←÷±… •″≈♠≈→♣↑←↵←≈∫ ⋅≡ ↵″ ±∂≈← •↑ ″± ×±″≠≈→ ↔↑≈↵×≈ •← ≥↵♣ ≈″←≈→ ↵ ≡•″↵× ↑←↵←≈ ↑↔÷ ↵↑ ←÷≈ ≈→→±→ ↑←↵←≈ ↵≡←≈→ ←÷≈ •××≈≠↵× °±°≡→±≥⇔≥°←♣∫ ⋅≡ ≥↔×←•°×≈ ←→↵″↑•←•±″↑ ±↔×… ≡•→≈ ≡±→ ←÷≈ ↑↵≥≈ ≥≈↑↑↵≠≈ →≈↓↔≈↑← ←÷≈ …≈↑•≠″≈→ ↑÷±↔×… →≈↑±×♠≈ ←÷•↑ ″±″…≈←≈→≥•″•↑≥ ♣ °×↵•″≠ ≠↔↵→…↑ ≥↔←↔↵××♣ ≈♦×↔↑•♠≈ ↵″… ≈♦÷↵↔↑←•♠≈ ±″…•←•±″↑ ±″ ←÷≈ ±″≡×•←•″≠ ←→↵″↑•←•±″↑ ↑↔÷ ↵↑ ±″ ←÷≈ ←♥±°±°←→↵″⌠ ↑•←•±″↑ ≡→±≥±→≥↵×∫ ⇑≈→←↵•″ …≈↑•≠″⌠≡±→⌠←≈↑← ±″…•←•±″↑ ≥↵♣ ↵°°×♣ ←± ≈″↑↔→≈ ←÷↵← ←÷≈ ≥↵÷•″≈ ↵″ ≈ …→•♠≈″ …≈←≈→≥•″•↑←•↵××♣ ←÷→±↔≠÷ ↵×× ±≡ •←↑ ↑←↵←≈↑ ↵″… ←→↵″↑•←•±″↑ ⊕℘∫ ∨±→ ≈♦↵≥°×≈ •″ ±→…≈→ ←± ∝″±♥ ♥÷≈″ ←÷≈ ≡•″↵×°±°←→↵″↑•←•±″ ≡→±≥±→≥↵×←±⇔≥°←♣•↑ →≈↵÷≈… ←÷≈ ↵≈↑↑±→ ↑•ƒ≈ •↑ →≈↓↔•→≈… ↵↑ ±″≈ ±≡ ⊆←↵∝Ž↑ ≥≈←÷±…↑ ↑± ←÷↵← ↑↔•←↵×≈ ≠↔↵→…↑ ≥↵♣ ≈ ±″↑←→↔←≈…∫ ⊂÷≈ ↵±♠≈ …≈↑•≠″ •↑ ×±≠•↵××♣±≥°×≈←≈ •″ ←÷≈ ↑≈″↑≈ ←÷↵← ←÷≈ ≥±…↵× ≈÷↵♠•±↔→ ±≡ ≈♠≈→♣ ≥≈←÷±… ≡→±≥ ≈♠≈→♣ ↑←↵←≈ •↑ ∝″±♥″∫

∫ ⇔×≈≥≈″←↑ ±≡ ←÷≈ ⊆←↵←≈ ±…≈×

⋅″ ≡±→≥↵× ↵°°→±↵÷≈↑ ←± ↑←↵←≈⌠↵↑≈… ←≈↑← ≠≈″≈→↵←•±″ ←≈↑←⌠↑≈←↑ ↵→≈ ±″↑←→↔←≈… ≡→±≥ ×↵″≠↔↵≠≈↑↑≈↓↔≈″≈↑ ±≡ ↑♣≥±×↑ …→↵♥″ ≡→±≥ ←÷≈ ←±←↵×↵×°÷↵≈←±≡ ←→↵″↑•←•±″ ×↵≈×↑∫ ⊂÷≈↵×°÷↵≈←•↑ ←÷≈ ↑≈← ±≡ ≥≈←÷±…↑ ≥Ρ ←÷↵← ↵″ ≈ ↵××≈… ±″ ←÷≈ •″←≈→≡↵≈ ±≡ ←÷≈ ±∂≈← •″×↔…•″≠ ↵″♣ •″÷≈→•←≈… ≥≈←÷±…↑∫ ∨±→ ←÷≈⊆←↵∝↑÷±♥″ •″ ≡•≠↔→≈  ←÷≈ ↵×°÷↵⌠ ≈←   ∞°↔↑÷°±°←±°≈≥°←♣↑•ƒ≈≤∫ ±←≈ ←÷↵←″≈♥•↑ ″±← ←≈÷″•↵××♣ •″ ←÷≈ ≥≈←÷±…⌠ •″←≈→≡↵≈ ±≡⊆←↵∝ ↔← →↵←÷≈→ ±″↑←→↔←↑ ←÷≈⊆←↵∝•″↑←↵″≈∫ ⊂÷≈ ±∂≈← →≈↑°±″…↑ ←± ↵×× ≥Ρ ↵″… ←± ″± ±←÷≈→ ≥≈←÷±…↑ ♥÷•÷ ↵→≈ →↔×≈… ±↔← ♣ ±≥°•×≈⌠←•≥≈ ↑♣″←↵♦ ÷≈∝⌠ •″≠∫ ⊂÷•↑ °↔←↑ ↵ ↔↑≈≡↔× ↔°°≈→ ±↔″… ±″ ←÷≈ ↑±°≈ ±≡ ″≈≠↵←•♠≈ ←≈↑←•″≠∫

(7)

…≈←≈← ♥÷≈←÷≈→ ←÷≈ ∇⊄⊂ •↑ •″ ←÷↵← ↑←↵←≈∫ ∠→≈…•↵←≈↑ ≥↵♣ ≡→≈≈×♣ ↔↑≈ °↔×• ↵≈↑↑ ≥≈←÷⌠ ±…↑ •″←≈→″↵××♣ ≡±→ ≈♦↵≥°×≈•↑⇔≥°←♣↑ ↑∫↑•ƒ≈  ð∫ ∇↔→ ≈↵→×•≈→ …≈≡•″•←•±″ ±≡ ↑←↵←≈ ↑≈≈ ∫ ≈″↑↔→≈↑ ←÷↵← ↑↔÷ °→≈…•↵←≈↑ ≥↵♣ ↵×♥↵♣↑ ≈ …≈≡•″≈…∫

⊆≈↓↔≈″≈↑ ±≡ ≥≈←÷±…↑ …≈″±←≈… ≥ ≥ › ≥Ρ ≥↵♣ ≈ ±″↑←→↔←≈…∫ ↵″⌠

≠↔↵≠≈↑ð   › ↵→≈ ↑≈←↑ ±≡ ↑≈↓↔≈″≈↑ ±≡ ↑°≈•≡• ×≈″≠←÷↑∑ ←÷↵← •↑ ð•↑ ←÷≈ ↑≈← ±≡ ƒ≈→±⌠×≈″≠←÷ ↑≈↓↔≈″≈↑ ∞≤ ↵″… •↑ ←÷≈ ↑≈← ±≡ ↵×× ↔″•←⌠×≈″≠←÷ ↑≈↓↔≈″≈↑ ∞≥

≥ ›≤ ≈←∫ ⊂÷≈ •″≡•″•←≈ ×↵″≠↔↵≠≈  •↑ ←÷≈ ↔″•±″  ð

ΞΞΞ› ±″←↵•″⌠ •″≠ ↵×× ↵→•←→↵→♣⌠×≈″≠←÷ ↑≈↓↔≈″≈↑∫ ⇓ °→≈…•↵←≈ ×↵″≠↔↵≠≈ ∠  ∞° ° ›≤ •↑ ↵ ↑≈←

±≡ ↔″•←⌠×≈″≠←÷ °→≈…•↵←≈ ↑≈↓↔≈″≈↑ ←≈↑←•″≠ ≈♦÷↵↔↑←•♠≈×♣ ≡±→ ≈↵÷ ↑←↵←≈ ↑Ρ⊆∫

∫ ⇑±≥°×≈←≈ ⊄″•←⌠⊂≈↑← ∧≈″≈→↵←•±″

⊃÷≈″ ←≈↑←•″≠ ≡→±≥ ↵ ↑←↵←≈⌠↵↑≈… …≈↑•≠″ ←÷≈ ←≈↑←≈→ …→•♠≈↑ ←÷≈ ∇⊄⊂ •″←± ↵×× ±≡ •←↑ ↑←↵←≈↑ ↵″… ←÷≈″ ↵←←≈≥°←↑ ≈♠≈→♣ °±↑↑•×≈ ←→↵″↑•←•±″ ±←÷ ≈♦°≈←≈… ↵″… ↔″♥↵″←≈… ≡→±≥ ≈↵÷ ↑←↵←≈ ÷≈∝•″≠ ↵≡←≈→♥↵→…↑ ♥÷•÷ …≈↑←•″↵←•±″ ↑←↵←≈↑ ♥≈→≈ →≈↵÷≈…∫ ⊂÷≈ ∇⊄⊂ ↑÷±↔×… ≈♦÷••← •″…•↑←•″≠↔•↑÷↵×≈ ≈÷↵♠•±↔→ ≡→±≥ ←÷≈ …≈↑•≠″ ←± °↵↑↑ ←÷≈ ←≈↑←↑∫ ⋅← •↑ ↵↑↑↔≥≈… ←÷↵← ←÷≈ …≈↑•≠″ •↑ ↵≥•″•≥↵×↑←↵←≈ ≥↵÷•″≈ ♥•←÷ ″± …↔°×•↵←≈ ±→ →≈…↔″…↵″← ↑←↵←≈↑ ↔← ←÷≈ ←≈↑←≈… •≥°×≈≥≈″←↵←•±″ ≥↵♣ ≈ ″±″⌠≥•″•≥↵× ♥•←÷ ≥±→≈ ←÷↵″ ←÷≈ ≈♦°≈←≈… ↑←↵←≈↑∫ ⊂≈↑←•″≠ ≥↔↑← ←÷≈→≈≡±→≈ ←↵∝≈ ←÷•↑ •″←± ↵±↔″← ≈♦≈→•↑•″≠ ≥±→≈ ←÷↵″ ←÷≈ ≥•″•≥↵× ↑←↵←≈ ≥↵÷•″≈∫ ⊂÷≈↑≈ ″±←•±″↑ ↵→≈ ≡±→≥↵×•↑≈… ≈×±♥∫

⊂÷≈↑←↵←≈ ±♠≈→•↑ ↵ ↑≈← ⇑Σ ±″↑•↑←•″≠ ±≡ ←÷≈ ↑÷±→←≈↑← ↑≈↓↔≈″≈↑ ←÷↵← ♥•×× …→•♠≈ ←÷≈ ∇⊄⊂ •″←± ↵×× ±≡ •←↑ ↑←↵←≈↑∫ ⇑ •↑ ÷±↑≈″ ♣ •″↑°≈←•±″ ±→ ♣ ↵↔←±≥↵←• ≈♦°×±→↵←•±″ ±≡ ←÷≈ ≥±…≈×∫ ∨±→ ←÷≈⊆←↵∝↑÷±♥″ •″ ≡•≠↔→≈  ↵±♠≈ ⇑  ∞ °↔↑÷≤ •↑ ←÷≈ ↑≥↵××⌠ ≈↑← ↑←↵←≈ ±♠≈→ ♥÷•÷ ♥•×× ≈″←≈→ ←÷≈⇔≥°←♣↵″…±→≥↵×↑←↵←≈↑∫ ⇓″ •″•←•↵× ←≈↑←⌠↑≈← ⊂ð ↵•≥↑ ←± →≈↵÷ ↵″… ←÷≈″ ♠≈→•≡♣ ≈♠≈→♣ ↑←↵←≈∫ ⊇≈→•≡•↵←•±″ •↑ ↵±≥°×•↑÷≈… ♣ •″♠±∝•″≠ ≈↵÷ °→≈…•↵←≈ •″ ←÷≈ °→≈…•↵←≈ ×↵″≠↔↵≠≈ ∠ ↵≡←≈→ ≈♦°×±→•″≠ ≈↵÷ °↵←÷ •″ ←÷≈ ↑←↵←≈ ±♠≈→ ⇑ ↵ ←≈↑← ↑≈← …≈″±←≈… ♣ ⇑∴ ∠ ←÷≈ ±″↵←≈″↵←≈… °→±…↔←←÷↵← ↵°°≈″…↑ ≈♠≈→♣ ↑≈⌠ ↓↔≈″≈ •″ ∠ ←± ≈♠≈→♣ ↑≈↓↔≈″≈ •″ ⇑∫ ⇔♦↵←×♣ ±″≈ °→≈…•↵←≈ •″ ≈↵÷ ↑≈↓↔≈″≈ ↑÷±↔×… →≈←↔→″ ←→↔≈ ↵″… ↵×× ←÷≈ ±←÷≈→↑ ≡↵×↑≈ ↵↑ …≈←≈→≥•″≈… ≡→±≥ ←÷≈ ≥±…≈×∫

⊂ð ⇑∴∠ 

⇓ ≥±→≈ ↑±°÷•↑←•↵←≈… ←≈↑←⌠↑≈← ⊂ ↵•≥↑ ←± →≈↵÷ ≈♠≈→♣ ↑←↵←≈ ↵″… ↵×↑± ≈♦≈→•↑≈ ≈♠≈→♣ ↑•″≠×≈ ≥≈←÷±… •″ ≈♠≈→♣ ↑←↵←≈∫ ⊂÷•↑ •↑ ±″↑←→↔←≈… ≡→±≥ ←÷≈←→↵″↑•←•±″ ±♠≈→↵ ↑≈← ±≡ ↑≈↓↔≈″≈↑ ∏ ⇑Ξ⇑∴ ♥÷•÷ •″×↔…≈↑ ←÷≈ ↑←↵←≈ ±♠≈→ ⇑ ↵″… ←÷≈ ±″↵←≈″↵←≈… °→±…↔← ←≈→≥ ⇑∴ …≈″±←•″≠ ←÷≈ ↵←←≈≥°←≈… ≡•→•″≠ ±≡ ≈♠≈→♣ ↑•″≠×≈ ←→↵″↑•←•±″ ≡→±≥ ≈♠≈→♣ ↑←↵←≈∫ ⊂÷≈ ↑←↵←≈↑ →≈↵÷≈… ♣ ←÷≈ ←→↵″↑•←•±″ ±♠≈→ ↵→≈ ♠↵×•…↵←≈… ↵≠↵•″ ↔↑•″≠ ↵×× ↑•″≠×≈←±″ °→≈…•↵←≈ ↑≈↓↔≈″≈↑ °Ρ∠∫

⊂ ⇑Ξ⇑∴∴∠ 

(8)

⊂ ⇑Ξ⇑∴Ξ⇑∴∴∠  ⋅″ ↵ ↑•≥•×↵→ ≡↵↑÷•±″ ≡↔→←÷≈→ ←≈↑←⌠↑≈←↑ ↵→≈ ±″↑←→↔←≈… ≡→±≥ ←÷≈ ↑←↵←≈ ±♠≈→ ⇑ ↵″… ×±♥⌠ ±→…≈→ ×↵″≠↔↵≠≈↑ ∝Σ∫ ⇔↵÷ ←≈↑←⌠↑≈← ↑↔↑↔≥≈↑ ←÷≈ ↑≥↵××≈→ ←≈↑←⌠↑≈←↑ ±≡ ×≈↑↑≈→ ↑±⌠ °÷•↑←•↵←•±″ •″ ←÷≈ ↑≈→•≈↑∫ ⋅″ ≠≈″≈→↵× ←÷≈ ↑≈→•≈↑ ↵″ ≈ ≡↵←±→•↑≈… ↵″… ≈♦°→≈↑↑≈… ≡±→ ←≈↑←⌠↑≈←↑ ±≡ ↵→•←→↵→♣ ↑±°÷•↑←•↵←•±″ ↵↑

⊂∝ ⇑∴ðΞΞ∫∫∫ ∝∴∠  ⊂÷≈ ≠≈″≈→↵× ≡±→≥↔×↵ …≈↑→•≈↑ ↵×× ←≈↑←⌠↑≈↓↔≈″≈↑ ↑←↵→←•″≠ ♥•←÷ ↵ ↑←↵←≈ ±♠≈→ ↵↔≠⌠ ≥≈″←≈… ♣ ≡•→•″≠ ↵×× ↑•″≠×≈ °↵•→↑ ←→•°×≈↑ ≈←∫ ±≡ ←→↵″↑•←•±″↑ ↵″… ←÷≈″ ♠≈→•≡♣•″≠ ←÷≈ →≈↵÷≈… ↑←↵←≈↑ ↔↑•″≠ ↑←↵←≈ °→≈…•↵←≈↑∫



⊂≈↑← ⇑±≥°×≈←≈″≈↑↑ ↵″… ∧↔↵→↵″←≈≈↑

⊂÷≈ ←≈↑←⌠↑≈←↑ °→±…↔≈… ♣ ←÷•↑ ↵×≠±→•←÷≥ ÷↵♠≈ •≥°±→←↵″← ±≥°×≈←≈″≈↑↑ °→±°≈→←•≈↑∫ ∨±→ ≈↵÷ ♠↵×↔≈ ±≡ ∝ ↑°≈•≡• ≠↔↵→↵″←≈≈↑ ↵→≈ ±←↵•″≈… ↵±↔← ←÷≈ •≥°×≈≥≈″←↵←•±″ ±″≈ ←≈↑←⌠ •″≠ •↑ ±♠≈→∫ ⇒≈×±♥ ♥≈ ↑÷±♥ ÷±♥ →≈≠→≈↑↑•±″ ←≈↑←•″≠ •″ ∪∠ …±≈↑ ″±← °→±♠•…≈ ←÷≈ ↑↵≥≈ ≠↔↵→↵″←≈≈↑ ↵≡←≈→ →≈←≈↑←•″≠∫ ¬±♥≈♠≈→ ≡±→ ↑•≥°×≈ ≈♦←≈″↑•±″↑ ←± ↵ ↑←↵←≈⌠↵↑≈… …≈↑•≠″ ←≈↑←↑ ≥↵♣ ≈ →≈⌠≠≈″≈→↵←≈… ♣ ←÷•↑ ↵×≠±→•←÷≥ ↵″… ↵×× ←÷≈ ↑↵≥≈ ≠↔↵→↵″←≈≈↑ ↔°÷≈×…∫

∫ ∧↔↵→↵″←≈≈↑ ↵≡←≈→ ⊂≈↑←•″≠

⊂÷≈ ↑≈← ⊂ð≠↔↵→↵″←≈≈↑ ←÷↵← ←÷≈ •≥°×≈≥≈″←↵←•±″ ÷↵↑↵← ×≈↵↑←↵×× ←÷≈ ↑←↵←≈↑ •″ ←÷≈ ↑°≈•≡•⌠ ↵←•±″∫ ⊂÷≈ ↑≈← ⊂≠↔↵→↵″←≈≈↑ ←÷•↑ ↵″… ←÷↵← ↵≥•″•≥↵× •≥°×≈≥≈″←↵←•±″ °→±♠•…≈↑ ≈♦⌠ ↵←×♣ ←÷≈ …≈↑•→≈… ↑←↵←≈⌠←→↵″↑•←•±″ ≈÷↵♠•±↔→∫ ⊂÷≈ →≈≥↵•″•″≠ ←≈↑←⌠↑≈←↑ ⊂∝°→±♠•…≈ ←÷≈ ↑↵≥≈ ≠↔↵→↵″←≈≈↑ ≡±→ ″±″⌠≥•″•≥↵× •≥°×≈≥≈″←↵←•±″↑ ↔″…≈→ ♥≈↵∝≈″•″≠ ↵↑↑↔≥°←•±″↑ ↵±↔← ←÷≈ ×≈♠≈× ±≡ …↔°×•↵←•±″ •″ ←÷≈ ↑←↵←≈↑ ↵″… ←→↵″↑•←•±″↑∫

⇓ ″±″⌠≥•″•≥↵× ±→→≈…↔″…↵″←•≥°×≈≥≈″←↵←•±″ •↑ ±″≈ ♥÷≈→≈ ↵ °→±≠→↵≥≥≈→ ÷↵↑ •″↵…⌠ ♠≈→←≈″←×♣ •″←→±…↔≈… ≈♦←→↵ •≠÷±↑←Œ ↑←↵←≈↑ ♥÷•÷ ≥↵♣ ±→ ≥↵♣ ″±← ≈ ≡↵•←÷≡↔× ±°•≈↑ ±≡ ↑←↵←≈↑ …≈↑•→≈… •″ ←÷≈ …≈↑•≠″∫ ⊂≈↑← ↑≈↓↔≈″≈↑ ≥↵♣ ×≈↵… •″←± ←÷≈↑≈ •≠÷±↑←Œ ↑←↵←≈↑ •≡ ←÷≈♣ ≈♦•↑← ↵″… ←÷≈ ∇⊄⊂ ≥↵♣ ←÷≈″ ≈÷↵♠≈ •″ ↑↔←×≈ ↔″≈♦°≈←≈… ♥↵♣↑ ≈♦÷••←•″≠ ≈♦←→↵ ±→ ≥•↑↑•″≠ ←→↵″↑•←•±″↑ ±→ →≈↵÷•″≠ ↔″≈♦°≈←≈… …≈↑←•″↵←•±″ ↑←↵←≈↑∫ ⇔↵÷ ←≈↑←⌠↑≈← ⊂∝°→±⌠ ♠•…≈↑ ±≥°×≈←≈ ±″≡•…≈″≈ ≡±→ ↑♣↑←≈≥↑ •″ ♥÷•÷ ÷↵•″↑ ±≡ …↔°×•↵←≈… ↑←↵←≈↑ …± ″±← ≈♦≈≈… ×≈″≠←÷ ∝⌠∫ ∨±→ ↑≥↵×× ♠↵×↔≈↑ ±≡ ∝ ↑↔÷ ↵↑ ∝ •← •↑ °±↑↑•×≈ ←± ÷↵♠≈ ↵ ♠≈→♣ ÷•≠÷ ×≈♠≈× ±≡ ±″≡•…≈″≈ •″ ←÷≈ ±→→≈← ↑←↵←≈⌠←→↵″↑•←•±″ ≈÷↵♠•±↔→ ±≡ ≈♠≈″ ↓↔•←≈ °≈→⌠ ♠≈→↑≈×♣⌠↑←→↔←↔→≈… •≥°×≈≥≈″←↵←•±″↑∫

(9)

↑↵≥≈ ↑←↵←≈↑ ↵″… ←→↵″↑•←•±″↑ ±→ •≡ •← ÷↵↑ ≈♦←→↵ →≈…↔″…↵″← ↑←↵←≈↑ ↵″… ←→↵″↑•←•±″↑ ←÷≈″ ←÷≈↑≈ ↵→≈ ↑≈≥↵″←•↵××♣ •…≈″←•↵× …↔°×•↵←≈↑ ±≡ ←÷≈ •″←≈″…≈… ↑←↵←≈↑ •″ ←÷≈ ↑°≈•≡•↵←•±″∫

∫ ∈≈≡↵←±→•″≠ ⊆↔×↵↑↑•″≠ ↵″… ⊂≈↑← ⇑±♠≈→↵≠≈

∨•≠↔→≈  •××↔↑←→↵←≈↑ ←÷≈ ↑←↵←≈ ≥↵÷•″≈ ≡±→ ↵⇐♣″↵≥•⊆←↵∝ ↵″ ↵→→↵♣⌠↵↑≈… •≥°×≈≥≈″←↵⌠ ←•±″ ±≡ ↵⊆←↵∝∫ ⊃≈ ≥↵♣ ←÷•″∝ ±≡ ←÷•↑ ≈•←÷≈→ ↵↑ ↵ ↑↔×↵↑↑ …≈↑•≠″ ≡±→ ↵ ±″→≈←≈ ×↵↑↑ ←÷↵← •≥°×≈≥≈″←↑ ↵″ ↵↑←→↵←⊆←↵∝•″←≈→≡↵≈ ⊕℘ ±→ ↵↑ ↵ →≈≡↵←±→≈… …≈↑•≠″ ≡±→ ↵⊆←↵∝ ↵≡←≈→ ←÷≈ …≈•↑•±″ •↑ ←↵∝≈″ ←± ↑♥•←÷ ←± ↵″ ↵→→↵♣⌠↵↑≈… •≥°×≈≥≈″←↵←•±″∫ ⊂÷≈ ≥↵•″ …•≡⌠ ≡≈→≈″≈ ≈←♥≈≈″ ←÷•↑ ↵″… ←÷≈ ≈↵→×•≈→ ≥↵÷•″≈ •″ ≡•≠↔→≈  •↑ ←÷↵← ←÷≈ ±×…±→≥↵×↑←↵←≈ ″±♥ ±″×♣ ↑÷±♥″ ↵↑ ↵ …↵↑÷≈… →≈≠•±″ ÷↵↑ ≈≈″ °↵→←•←•±″≈… •″←± ←÷≈ ↑←↵←≈↑ ∞±↵…≈… ∨↔××≤ •″ ±→…≈→ ←± ↵°←↔→≈ ←÷≈ …•↑←•″← ≈÷↵♠•±↔→ ±≡°↔↑÷•″ ←÷≈∨↔××↑←↵←≈ ♥÷≈→≈ ←÷•↑ ←→•≠≠≈→↑ ↵ ≥≈≥±→♣ →≈↵××±↵←•±″∫ ⊂÷±↔≠÷ ←÷•↑ …≈↑•≠″ ↵°°≈↵→↑ ≥±→≈ ±≥°×≈♦ •← •↑ ≈↵↑•×♣ ≠≈″≈→↵←≈… ♣ ≡±××±♥•″≠ ←÷≈ ↑•≥°×≈ →↔×≈ ↑÷±♥ ←÷≈ ≈÷↵♠•±↔→ ±≡≈♠≈→♣≥≈←÷±… •″≈♠≈→♣ ↑←↵←≈ ↑≈×≡⌠←→↵″↑•←•±″↑ ≡±→ ←÷≈ ↵≈↑↑ ≥≈←÷±…↑ ↵→≈ •″≡≈→→≈… ↵↑ ↵±♠≈∫

⇔≥ °←♣

↑ •ƒ≈   ð

±↵ …≈ …

↑ •ƒ≈  ″ ° ↔ ↑÷ ≈ 

° ↔ ↑÷ ≈  ⊕↑ •ƒ≈   ″ ⌠℘

° ±°  ⊕↑ •ƒ≈    ℘ °± °  ⊕↑ •ƒ≈    ℘ °± ° 

″≈ ♥

∨↔××

↑ •ƒ≈   ″ ° ↔ ↑÷ ≈  ⊕↑•ƒ≈  ″ ⌠℘

° ± ° 

°↔ ↑÷ ≈  〉 →≈ ↑ •ƒ≈ 

∨•≠∫ ∫ ⊆←↵←≈ ≥↵÷•″≈ ≡±→ ↵⇐♣″↵≥•⊆←↵∝ ♥÷•÷ ±″≡±→≥↑ ←± ←÷≈ ≈÷↵♠•±↔→ ±≡ ←÷≈⊆←↵∝•″ ≡•≠∫ ∫ ⊂÷≈ ←♥± ↑←↵←≈↑ ±↵…≈… ∨↔×× °↵→←•←•±″ ←÷≈ ±×…±→≥↵×↑←↵←≈ •″ ≡•≠∫  →≈↑↔×←•″≠ •″ ←÷≈ →≈°×•↵←•±″ ±≡ •←↑ ←→↵″↑•←•±″↑∫ ⊂÷≈ ≈÷↵♠•±↔→ ±≡°↔↑÷•″ ←÷≈∨↔××↑←↵←≈ ≥↔↑← ≈ ←≈↑←≈…∫

⋅″→≈↵↑•″≠ ←÷≈ ↑←↵←≈⌠↑°↵≈ ÷↵↑ •≥°±→←↵″← •≥°×•↵←•±″↑ ≡±→ ←≈↑← ≠↔↵→↵″←≈≈↑∫ ⇑±″↑•…≈→ ←÷≈ ↑↔≡≡••≈″♣ ±≡ ←÷≈ ⊂←≈↑←⌠↑≈← ≠≈″≈→↵←≈… ≡→±≥ ←÷≈ ↵↑←→↵←⊆←↵∝↑°≈•≡•↵←•±″ •″ ≡•≠↔→≈ ∫ ⊂÷•↑ →±↔↑←×♣ ≠↔↵→↵″←≈≈↑ ←÷≈ ±→→≈← ≈÷↵♠•±↔→ ±≡ ↵ ↑•≥°×≈•″∝≈…⊆←↵∝•≥°×≈≥≈″⌠ ←↵←•±″ ♥•←÷ ⊆  ∞⇔≥°←♣ ±→≥↵×≤ ≈♠≈″ •″ ←÷≈ °→≈↑≈″≈ ±≡ •≠÷±↑←Œ ↑←↵←≈↑∫ ⊂♥•×× ≠≈″⌠ ≈→↵←≈ ±″≈ ↑≈↓↔≈″≈ °↔↑÷ °↔↑÷ °↔↑÷ •↑±→≥↵× ♥÷•÷ →±↔↑←×♣ ≈♦≈→•↑≈↑ °↔↑÷ °↔↑÷ ≡→±≥ ←÷≈±→≥↵×↑←↵←≈ ↵″… ♥•×× ≈♠≈″ …≈←≈← ↵ •≠÷±↑←Œ ±°♣ ±≡ ←÷≈±→≥↵×↑←↵←≈∫

(10)

⋅″ ≠≈″≈→↵× ↑↔×↵↑↑≈↑ ÷↵♠≈ ↵ ×↵→≠≈→ ↑←↵←≈⌠↑°↵≈ ←÷↵″ ↑↔°≈→×↵↑↑≈↑ …↔≈ ←± ←÷≈•→ •″⌠ ←→±…↔←•±″ ±≡ ≥±→≈ ≥≈←÷±…↑ ↵≡≡≈←•″≠ ±∂≈← ↑←↵←≈↑∫ ⋅″ ⇑±±∝ ⇐↵″•≈×↑ ⊕℘ ↵″… ∧→≈≠±→Ž↑ ⊕ ℘ ↑←↵←≈ ≥±…≈×↑ ↑↔×↵↑↑•″≠ →≈↑↔×←↑ •″ ←÷≈ •″←→±…↔←•±″ ±≡ ″≈♥ ↑←↵←≈↑∫ ⋅″ ⊆•≥±″↑Ž •≥°→±♠≈… ≥±…≈× ±≡ ↑←↵←≈ →≈≡•″≈≥≈″← ⊕ ℘ ↑↔×↵↑↑•″≠ •↑ ↑÷±♥″ ↵×♥↵♣↑ ←± →≈↑↔×← •″ ←÷≈↑↔…•♠•↑•±″ ±≡ ≈♦•↑←•″≠ ↑←↵←≈↑↵↑ •″ ≡•≠↔→≈ ∫ ¬≈→≈ ±↔→ ″≈♥ ≡•″…•″≠ •↑ ←÷↵← ↑↵♠≈… ←≈↑←↑ ♥•×× ″±← ±″×♣ ≥•↑↑ ↑←↵←≈↑ ≡±→≥≈… •″ ←÷≈ ÷•×… ↔← ♥•×× ↵×↑± ≡↵•× ←± ←≈↑← ↵×× ±≡ ←÷≈ ←→↵″↑•←•±″↑ ←÷↵← ♥≈→≈ ←≈↑←≈… •″ ←÷≈ °↵→≈″← ↑•″≈ ←÷≈↑≈ ÷↵♠≈ ≈±≥≈ °↵→←•←•±″≈…∫ ⊂÷•↑ •↑ •≥°±→←↵″← ≡±→ →≈≠→≈↑↑•±″ ←≈↑←•″≠ ↑•″≈ •← ≥≈↵″↑ ←÷↵← ↑↵♠≈… ←≈↑←↑ ≈♦≈→•↑≈↑•≠″•≡•↵″←×♣ ×≈↑↑±≡ ←÷≈↑↵≥≈ ≈÷↵♠•±↔→•″ ←÷≈ ÷•×… ↵↑ ←÷≈♣ …•… •″ ←÷≈ °↵→≈″←∫

⊂± ↵÷•≈♠≈ ←÷≈ ↑↵≥≈ ×≈♠≈× ±≡ ±♠≈→↵≠≈ •← •↑ ″±← ↑↔≡≡••≈″← ←± ↑↔°°×♣ ≈♦←→↵ ←≈↑←↑ ≡±→ ←÷≈ ″≈♥ ≥≈←÷±…↑ ↔← →↵←÷≈→ •← •↑ ♠•←↵× ←± ←≈↑←↵×× ←÷≈ •″←≈→×≈↵♠•″≠↑±≡ ″≈♥ ≥≈←÷±…↑ ♥•←÷ ←÷≈ •″÷≈→•←≈… ≥≈←÷±…↑ ↑± ≈♦°×±→•″≠ ←÷≈ ↑←↵←≈⌠←→↵″↑•←•±″ …•↵≠→↵≥ ±≥°×≈←≈×♣∫ ⊂÷•↑ ↑•≥°×♣ ↵″″±← ≈ …±″≈ →≈×•↵×♣ ♣ ÷↔≥↵″ •″←↔•←•±″ ↵″… ≥↵″↔↵× ←≈↑←⌠↑→•°← →≈↵←•±″∫ ¬±♥≈♠≈→ •← ±↔×… ≈ …±″≈ ↵↔←±≥↵←•↵××♣ ↵″… →≈×•↵×♣ •≡ ←÷≈ ←≈↑←⌠↑≈←↑ ♥≈→≈→≈≠≈″≈→↵←≈… ≡±→ ←÷≈ ≥±…•≡•≈… ↑←↵←≈ ≥↵÷•″≈ …≈↑•≠″↑ ↔↑•″≠ ←÷≈ ↵×≠±→•←÷≥ ≡→±≥ ↑≈←•±″ ∫ ↵±♠≈∫



⇑±″×↔↑•±″↑

⊂÷≈ ↑←→≈″≠←÷ ±≡ ←÷≈ ≠↔↵→↵″←≈≈ ±←↵•″≈… ↵≡←≈→ →≈≠→≈↑↑•±″ ←≈↑←•″≠ •↑ ±♠≈→≈↑←•≥↵←≈… •″ ∪∠∫ ∈≈♣×≈… ←≈↑←⌠↑≈←↑ ↵×♥↵♣↑ ≈♦≈→•↑≈ ↑•≠″•≡•↵″←×♣ ×≈↑↑ ±≡ ←÷≈ →≈≡•″≈… ±∂≈← ←÷↵″ ←÷≈ ±→•≠•″↵× ↑↔÷ ←÷↵← →≈⌠←≈↑←≈… ±∂≈←↑ ≥↵♣ ≈ ±″↑•…≈→↵×♣ ×≈↑↑ ↑≈↔→≈ ≡±→ ←÷≈ ↑↵≥≈ ←≈↑←•″≠ ≈≡≡±→←∫ ⇓↑ ←÷≈ ↑←↵←≈⌠↑°↵≈ ±≡ ←÷≈ ≥±…•≡•≈… ±→ ≈♦←≈″…≈… ±∂≈← •″→≈↵↑≈↑ ←÷≈ ≠↔↵→↵″←≈≈ ±≡≡≈→≈… ♣ →≈←≈↑←•″≠ •↑ °→±≠→≈↑↑•♠≈×♣ ♥≈↵∝≈″≈…∫ ⊂÷•↑ ↔″…≈→≥•″≈↑ ←÷≈ ♠↵×•…⌠ •←♣ ±≡ °±°↔×↵→ →≈≠→≈↑↑•±″ ←≈↑←•″≠ ↵°°→±↵÷≈↑ ↑↔÷ ↵↑ °↵→↵××≈× …≈↑•≠″⌠↵″…⌠←≈↑← ←≈↑← ↑≈← •″÷≈→•←↵″≈ ↵″… →≈↔↑≈ ±≡ ↑↵♠≈… ←≈↑← ↑→•°←↑ •″ √⊄″•←∫

⇒♣ ±≥°↵→•↑±″ •≡ ±≥°×≈←≈ ←≈↑←⌠↑≈←↑ ↵→≈ ↵×♥↵♣↑ ≠≈″≈→↵←≈… ≡→±≥ ↑•≥°×≈ ↑←↵←≈ ≥↵⌠ ÷•″≈ …≈↑•≠″↑ •← •↑ °±↑↑•×≈ ←± °→±♠•…≈ ↑°≈•≡• ≠↔↵→↵″←≈≈↑ ≡±→ ≈♦↵≥°×≈ ↔° ←± ←÷≈ ∝ ±→ ∝ ±″≡•…≈″≈ ×≈♠≈× •″ ←÷≈ ∇⊄⊂∫ ⇓≡←≈→ →≈←≈↑←•″≠ ↵ ↑↔×↵↑↑≈… ±→ →≈≡↵←±→≈… ∇⊄⊂ ←÷≈ ↑↵≥≈ ≠↔↵→↵″←≈≈↑ ≥↵♣ ≈ ↔°÷≈×… ♣ ≠≈″≈→↵←•″≠ ≡→±≥ ←÷≈ →≈♠•↑≈… ↑←↵←≈ ≥↵÷•″≈ ←± ←÷≈ ↑↵≥≈ ±″≡•…≈″≈ ×≈♠≈×∫ ±← ±″×♣ ←÷•↑ ↔←↵××←÷≈ ±∂≈←↑ •″ ↵ ↑±≡←♥↵→≈ °→±∂≈← ≥↵♣ ≈ ↔″•←⌠←≈↑←≈… ←± ↵ ≠•♠≈″ ±″≡•…≈″≈ ×≈♠≈×∫ ⊂÷•↑ ″±←•±″ ±≡ ≠↔↵→↵″←≈≈… →≈°≈↵←↵×≈ ↓↔↵×•←♣•↑ ↵ ″≈♥ ↵″… •≥°±→←↵″← ±″≈°← •″ ±∂≈←⌠±→•≈″←≈… ←≈↑←•″≠∫

⊂÷•↑ →≈↑≈↵→÷ ♥↵↑ ↔″…≈→←↵∝≈″ ↵↑ °↵→← ±≡ ←÷≈ ∇⊂⋅⊇⇔ °→±∂≈← ↑↔°°±→←≈… ♣ ⊄∏ ⇔∠⊆∈⇑ ∧∈〉∫

∈≈≡≈→≈″≈↑

∫ ⊃≈××↑ ⇐∫ ⊂÷≈ ∈↔×≈↑ ↵″… ∠→↵←•≈↑ ±≡ ⇔♦←→≈≥≈ ∠→±≠→↵≥≥•″≠∫ ⊃≈↑•←≈ ↵″… ÷♣°≈→←≈♦← ↵→←•×≈

÷←←°〉〉♥♥♥∫≈♦←→≈≥≈°→±≠→↵≥≥•″≠∫±→≠〉→↔×≈↑∫÷←≥×

∫ ⇒≈∝ ∏∫ ⇔♦←→≈≥≈ ∠→±≠→↵≥≥•″≠ ⇔♦°×↵•″≈… ⇔≥→↵≈ ⇑÷↵″≠≈∫ ⇓……•↑±″⌠⊃≈↑×≈♣ ≈♥ ∩±→∝ ððð

(11)

∫ ∏→↔÷←≈″ ∠∫ ⊂÷≈ ∈↵←•±″↵× ⊄″•≡•≈… ∠→±≈↑↑ ↵″ ⋅″←→±…↔←•±″∫ →…≈…″∫ ⇓……•↑±″⌠⊃≈↑×≈♣ ∈≈↵…•″≠ ðð

∫ ∇∂≈← ↵″↵≠≈≥≈″← ∧→±↔° ⊄ ∈≈↑±↔→≈ ∠↵≠≈∫ ⊃≈↑•←≈ ÷←←°〉〉♥♥♥∫±≥≠∫±→≠〉↔≥×〉

ðð

∫ ⊆←≈°÷≈″↑ ∫ ↵″… ∈±↑≈″≈→≠ ⇐∫ ⇔♦←→≈≥≈ ∠→±≠→↵≥≥•″≠ ∈≈≡↵←±→≈… ⊂÷≈ ⇑↵↑≈ ⇓≠↵•″↑← ∪∠∫ ⇓°→≈↑↑ ⇒≈→∝×≈♣ ðð

∫ ⇒≈∝ ∏∫ ∧↵≥≥↵ ⇔∫ ≈← ↵×∫ ⊂÷≈ √⊄″•← ∠→±∂≈←∫ ⊃≈↑•←≈÷←←°〉〉♥♥♥∫∂↔″•←∫±→≠〉ðð ∫ ⊆←±←←↑ ⇐∫ •″…↑≈♣ ∫ ↵″… ⇓″←×≈♣ ⇓∫ ⇓″ ⋅″≡±→≥↵× ≈←÷±… ≡±→ ⊆♣↑←≈≥↵←• √⊄″•← ⊂≈↑←

⇑↵↑≈ ≠≈″≈→↵←•±″∫ ≈←↔→≈ ±←≈↑ •″ ⇑±≥°↔←≈→ ⊆•≈″≈ ⊇±×∫ ∫ ⊆°→•″≠≈→ ⊇≈→×↵≠ ⇒≈→×•″ ¬≈•…≈×≈→≠ ≈♥ ∩±→∝ ðð ⌠

∫ ∧→≈≠±→ √∫ ⇐∫ ↵″… ∏±→↑±″ ⊂∫ ⋅″←≈≠→↵←•″≠ ∇∂≈←⌠∇→•≈″←≈… ⊂≈↑←•″≠ ↵″… ⇐≈♠≈×±°≥≈″← ∠→±≈↑↑≈↑∫ ⇑±≥≥↔″•↵←•±″↑ ±≡ ←÷≈ ⇓⇑ ⊇±×∫  ±∫   ⌠

ð∫ ∧→≈≠±→ √∫ ⇐∫ ↵″… ∏↵→≈ ⇓∫ ∠↵→↵××≈× ⇓→÷•←≈←↔→≈ ≡±→ ⇑±≥°±″≈″← ⊂≈↑←•″≠ ±≡ ∇∂≈←⌠ ±→•≈″←≈… ⊆±≡←♥↵→≈∫ ∠→±∫ ←÷ ⇓″″↔↵× ⊆±≡←♥↵→≈ ∉↔↵×•←♣ ⊃≈≈∝ ⊆±≡←♥↵→≈ ∈≈↑≈↵→÷ ⋅″∫ ⊆↵″ ∨→↵″•↑± ↵♣ 

∫ ⊃≈××↑ ⇐∫ ⊄″•← ⊂≈↑←↑ ≈↑↑±″↑ ≈↵→″≈… •″ ⊂÷≈ ∈↔×≈↑ ↵″… ∠→↵←•≈↑ ±≡ ⇔♦←→≈≥≈ ∠→±≠→↵≥⌠ ≥•″≠∫ ¬♣°≈→←≈♦← ↵→←•×≈÷←←°〉〉♥♥♥∫≈♦←→≈≥≈°→±≠→↵≥≥•″≠∫±→≠〉→↔×≈↑〉↔″•←←≈↑←↑∫÷←≥× ∫ ⊆÷↔≥↵″ ⊆∫ ⇓∫ ↵″… ∠•←← ⇐∫ ¬∫ ∇∂≈←⌠±→•≈″←≈… ⊆↔↑♣↑←≈≥ ⊆°≈•≡•↵←•±″∫ ⋅″ ∠→±≠→↵≥

⊆°≈•≡•↵←•±″ ↵″… ⊂→↵″↑≡±→≥↵←•±″∫ ⇔×↑≈♠•≈→ ⊆•≈″≈ ±→←÷ ¬±××↵″… 

∫ ⇑÷±♥ ⊂∫ ⊂≈↑←•″≠ ⊆±≡←♥↵→≈ ⇐≈↑•≠″ ±…≈×≈… ♣ ∨•″•←≈ ⊆←↵←≈ ↵÷•″≈↑∫ ⋅⇔⇔⇔ ⊂→↵″↑↵←•±″↑ ±″ ⊆±≡←♥↵→≈ ⇔″≠•″≈≈→•″≠ ⊇±×∫  ±∫   ⌠

∫ ⇒•″…≈→ ∈∫ ⊇∫ ⊂≈↑←•″≠ ∇∂≈←⌠∇→•≈″←≈… ⊆♣↑←≈≥↑ ↵ ⊆←↵←↔↑ ∈≈°±→←∫ →… ≈…″∫ ¬♣°≈→←≈♦← ↵→←•×≈

÷←←°〉〉♥♥♥∫→↑∫±≥〉°↵≠≈↑〉±±↑←↵←∫÷←≥×ðð

∫ ∧→≈≠±→ √∫ ⇐∫ ⇑±″↑←→↔←•″≠ ∨↔″←•±″↵× ⊂≈↑← ⇑↵↑≈↑ ⊄↑•″≠ ⋅″→≈≥≈″←↵××♣⌠⇐≈→•♠≈… ⊆←↵←≈ ↵÷•″≈↑∫ ∠→±∫ ←÷ ⋅″←≈→″↵←•±″↵× ⇑±″≡≈→≈″≈ ±″ ⊂≈↑←•″≠ ⇑±≥°↔←≈→ ⊆±≡←♥↵→≈∫ ⊄⊆∠⇐⋅ ⊃↵↑÷•″≠←±″ 

∫ ¬±×±≥≈ ⊃∫ ∫ ∫ ↵″… ⋅°↵←≈ ∨∫ ⇑±→→≈← ⊆♣↑←≈≥↑ ⇒↔•×…•″≠ ↵ ⇒↔↑•″≈↑↑ ∠→±≈↑↑ ⊆±×↔←•±″∫ ⇓°°×•≈… ⇑±≥°↔←•″≠ ⊆≈→•≈↑∫ ⊆°→•″≠≈→ ⊇≈→×↵≠ ⇒≈→×•″ ¬≈•…≈×≈→≠ ≈♥ ∩±→∝ 

∫ ⋅°↵←≈ ∨∫ ↵″… ¬±×±≥≈ ⊃∫ ∫ ∫ ⇓″ ⋅″←≈≠→↵←•±″ ⊂≈↑←•″≠ ≈←÷±… ←÷↵← •↑ ∠→±♠≈… ←± ∨•″… ⇓×× ∨↵↔×←↑∫ ⋅″←≈→″↵←•±″↵× √±↔→″↵× ±≡ ⇑±≥°↔←↵←•±″↵× ↵←÷≈≥↵←•↑ ⊇±×∫   ⌠ ∫ ¬±×±≥≈ ∫ ⇒±≠…↵″±♠ ∏∫ ↵″… ∧÷≈±→≠÷≈ ∫ ∨↔″←•±″↵× ⊂≈↑← ∧≈″≈→↵←•±″ ≡±→ ⇔♦←→≈≥≈

∠→±≠→↵≥≥•″≠∫ ∠→±∫ ″… ⋅″←≈→″↵←•±″↵× ⇑±″≡≈→≈″≈ ±″ ⇔♦←→≈≥≈ ∠→±≠→↵≥≥•″≠ ↵″… ∨×≈♦•×≈ ∠→±≈↑↑≈↑ •″ ⊆±≡←♥↵→≈ ⇔″≠•″≈≈→•″≠∫ ∪∠ ðð ⊆↵→…•″•↵ ⋅←↵×♣ ðð ð⌠

∫ ⇐→↵″•…•↑ ⇐∫ ⊂•≠∝↵ ∏∫ ↵″… ∏≈≡↵×↵↑ ∠∫ ∨±→≥↵× ±…≈××•″≠ ±≡ ⊄↑≈ ⇑↵↑≈↑ ♥•←÷ ∪⌠≥↵÷•″≈↑∫ ∠→±∫ ↑←⊆±↔←÷⌠⇔↵↑← ⇔↔→±°≈↵″ ⊃±→∝↑÷±° ±″ ∨±→≥↵× ≈←÷±…↑∫ ⊆±↔←÷⌠⇔≈↵↑← ⇔↔→±°≈↵″ ∈≈⌠ ↑≈↵→÷ ⇑≈″←→≈ ⊂÷≈↑↑↵×±″•∝• ðð

ð∫ ¬±×±≥≈ ∫ ⊃÷≈→≈ ⇐± ⊄″•← ⊂≈↑←↑ ⇑±≥≈ ∨→±≥〈 ∠→±∫ ←÷∫ ⋅″←≈→″↵←•±″↵× ⇑±″≡≈→≈″≈ ±″ ⇔♦←→≈≥≈ ∠→±≠→↵≥≥•″≠ ↵″… ∨×≈♦•×≈ ∠→±≈↑↑≈↑ •″ ⊆±≡←♥↵→≈ ⇔″≠•″≈≈→•″≠∫ ∪∠ ðð ∧≈″±♠↵ ⋅←↵×♣ ≈←↔→≈ ±←≈↑ •″ ⇑±≥°↔←≈→ ⊆•≈″≈ ⊇±×∫ ∫⊆°→•″≠≈→ ⊇≈→×↵≠ ⇒≈→×•″ ¬≈•…≈×≈→≠ ≈♥ ∩±→∝ ðð ⌠

∫ ∧→≈≠±→ √∫ ⇐∫ ↵″… ⇐♣≈→ ⇐∫ ∫ ⇓ ±←≈ ±″ ⋅″÷≈→•←↵″≈ ↵″… ⊆←↵←≈ ↵÷•″≈↑∫ ⊆±≡←♥↵→≈ ⇔″≠•″≈≈→•″≠ ±←≈↑ ⊇±×∫  ±∫   ⌠

∫ ⊆•≥±″↑ ⇓∫ √∫ ¬∫ ⊆←↵″″≈←← ∫ ∠∫ ⇒±≠…↵″±♠ ∏∫ ⇔∫ ↵″… ¬±×±≥≈ ⊃∫ ∫ ∫ ∠×↔≠ ↵″… ∠×↵♣ ⊆↵≡≈×♣ ⇒≈÷↵♠•±↔→↵× ∈↔×≈↑ ≡±→ ⇑±≥°↵←••×•←♣∫ ∠→±∫ ←÷ ⋅⇓⊆⊂⇔⇐ ⋅″←≈→″↵←•±″↵× ⇑±″≡≈→≈″≈ ±″ ⊆±≡←♥↵→≈ ⇔″≠•″≈≈→•″≠ ↵″… ⇓°°×•↵←•±″↑∫ ⊆⇔⇓⌠ðð ⇑↵≥→•…≠≈ ðð ⌠ ∫ ⇒≈→″±← ⇒∫ ∧↵↔…≈× ∫⌠⇑∫ ↵″… ↵→→≈ ⇒∫ ⊆±≡←♥↵→≈ ⊂≈↑←•″≠ ⇒↵↑≈… ±″ ∨±→≥↵× ⊆°≈•≡•↵⌠

←•±″↑ ↵ ⊂÷≈±→♣ ↵″… ↵ ⊂±±×∫ ⊆±≡←♥↵→≈ ⇔″≠•″≈≈→•″≠ √±↔→″↵× ⊇±×∫  ±∫   ⌠ð ∫ ⇑±±∝ ⊆∫ ↵″… ⇐↵″•≈×↑ √∫ ⇐≈↑•≠″•″≠ ∇∂≈←⌠∇→•≈″←≈… ⊆♣↑←≈≥↑ ∇∂≈←⌠∇→•≈″←≈… ±…≈××•″≠

♥•←÷ ⊆♣″←→±°♣∫ ∠→≈″←•≈ ¬↵×× ±″…±″ 