If ${X_alpha}$ is a collection of mutually disjoint meas. subsets of $mathbb{R} rightarrow$ then at most...












3












$begingroup$


Let ${X_alpha}_{alpha in I}$ be a collection of mutually disjoint measurable subsets of $mathbb{R}. Show that at most countable of them has positive measure.



I want to see if my proof is correct.



Proof:



Let ${X_alpha}_{alpha in Gamma subset I}$ be the subcollection such that $m(X_alpha) > 0, forall alpha in Gamma$.



Since each set is measurable and has positive measure,



$$ forall X_{alpha}, alpha in Gamma, exists O_{alpha} = (a_alpha,b_alpha) mbox{ such that } O_alpha subset X_{alpha}$$



Now we must show that $|Gamma| leq |mathbb{N}|$



Let $f: {O_{alpha}}_{alpha in Gamma} to mathbb{Q}$ be the function that
$$f(O_alpha) = q_{alpha}, mbox{ where }q_alpha in (a_alpha,b_alpha)$$



This is possible because $mathbb{Q}$ is dense in $mathbb{R}$



This function is clearly injective since ${O_alpha}$ is a disjoint collection of open sets. Hence, the same rational can't be in two different open intervals from this collection.



Since $f$ is injective, ${O_alpha}_{alpha in Gamma}| = |Gamma| leq |mathbb{Q}| = |mathbb{N}| = aleph_0$



Q.E.D










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    No, your reasoning is not correct. A set of positive measure does not necessarily contain a (non-trivial) open interval (consider e.g. $[0,1] backslash mathbb{Q}$).
    $endgroup$
    – saz
    Jan 11 at 15:24








  • 1




    $begingroup$
    See this.
    $endgroup$
    – David Mitra
    Jan 11 at 15:33






  • 1




    $begingroup$
    No, a closed set need not contain a rational number.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:35






  • 2




    $begingroup$
    For example, say the ratinoals are $q_1,dots$. Let $V=bigcup(q_n-1/n^2,q_n+1/n^2)$, $F=Bbb Rsetminus V$. Then $V$ is open so $F$ is closed, $V$ contains every rational so $F$ contains no rational, and $Fneemptyset$ since $m(V)<infty$.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:38






  • 1




    $begingroup$
    FYI, you might find it interesting to observe how the main idea used in the proofs by David C. Ullrich and saz can also be used to show that: (a) a monotone function can have at most countably many jump discontinuities; (b) in a "convergent uncountable sum" of non-negative real numbers, at most countably many of the numbers can be nonzero.
    $endgroup$
    – Dave L. Renfro
    Jan 11 at 16:12
















3












$begingroup$


Let ${X_alpha}_{alpha in I}$ be a collection of mutually disjoint measurable subsets of $mathbb{R}. Show that at most countable of them has positive measure.



I want to see if my proof is correct.



Proof:



Let ${X_alpha}_{alpha in Gamma subset I}$ be the subcollection such that $m(X_alpha) > 0, forall alpha in Gamma$.



Since each set is measurable and has positive measure,



$$ forall X_{alpha}, alpha in Gamma, exists O_{alpha} = (a_alpha,b_alpha) mbox{ such that } O_alpha subset X_{alpha}$$



Now we must show that $|Gamma| leq |mathbb{N}|$



Let $f: {O_{alpha}}_{alpha in Gamma} to mathbb{Q}$ be the function that
$$f(O_alpha) = q_{alpha}, mbox{ where }q_alpha in (a_alpha,b_alpha)$$



This is possible because $mathbb{Q}$ is dense in $mathbb{R}$



This function is clearly injective since ${O_alpha}$ is a disjoint collection of open sets. Hence, the same rational can't be in two different open intervals from this collection.



Since $f$ is injective, ${O_alpha}_{alpha in Gamma}| = |Gamma| leq |mathbb{Q}| = |mathbb{N}| = aleph_0$



Q.E.D










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    No, your reasoning is not correct. A set of positive measure does not necessarily contain a (non-trivial) open interval (consider e.g. $[0,1] backslash mathbb{Q}$).
    $endgroup$
    – saz
    Jan 11 at 15:24








  • 1




    $begingroup$
    See this.
    $endgroup$
    – David Mitra
    Jan 11 at 15:33






  • 1




    $begingroup$
    No, a closed set need not contain a rational number.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:35






  • 2




    $begingroup$
    For example, say the ratinoals are $q_1,dots$. Let $V=bigcup(q_n-1/n^2,q_n+1/n^2)$, $F=Bbb Rsetminus V$. Then $V$ is open so $F$ is closed, $V$ contains every rational so $F$ contains no rational, and $Fneemptyset$ since $m(V)<infty$.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:38






  • 1




    $begingroup$
    FYI, you might find it interesting to observe how the main idea used in the proofs by David C. Ullrich and saz can also be used to show that: (a) a monotone function can have at most countably many jump discontinuities; (b) in a "convergent uncountable sum" of non-negative real numbers, at most countably many of the numbers can be nonzero.
    $endgroup$
    – Dave L. Renfro
    Jan 11 at 16:12














3












3








3





$begingroup$


Let ${X_alpha}_{alpha in I}$ be a collection of mutually disjoint measurable subsets of $mathbb{R}. Show that at most countable of them has positive measure.



I want to see if my proof is correct.



Proof:



Let ${X_alpha}_{alpha in Gamma subset I}$ be the subcollection such that $m(X_alpha) > 0, forall alpha in Gamma$.



Since each set is measurable and has positive measure,



$$ forall X_{alpha}, alpha in Gamma, exists O_{alpha} = (a_alpha,b_alpha) mbox{ such that } O_alpha subset X_{alpha}$$



Now we must show that $|Gamma| leq |mathbb{N}|$



Let $f: {O_{alpha}}_{alpha in Gamma} to mathbb{Q}$ be the function that
$$f(O_alpha) = q_{alpha}, mbox{ where }q_alpha in (a_alpha,b_alpha)$$



This is possible because $mathbb{Q}$ is dense in $mathbb{R}$



This function is clearly injective since ${O_alpha}$ is a disjoint collection of open sets. Hence, the same rational can't be in two different open intervals from this collection.



Since $f$ is injective, ${O_alpha}_{alpha in Gamma}| = |Gamma| leq |mathbb{Q}| = |mathbb{N}| = aleph_0$



Q.E.D










share|cite|improve this question











$endgroup$




Let ${X_alpha}_{alpha in I}$ be a collection of mutually disjoint measurable subsets of $mathbb{R}. Show that at most countable of them has positive measure.



I want to see if my proof is correct.



Proof:



Let ${X_alpha}_{alpha in Gamma subset I}$ be the subcollection such that $m(X_alpha) > 0, forall alpha in Gamma$.



Since each set is measurable and has positive measure,



$$ forall X_{alpha}, alpha in Gamma, exists O_{alpha} = (a_alpha,b_alpha) mbox{ such that } O_alpha subset X_{alpha}$$



Now we must show that $|Gamma| leq |mathbb{N}|$



Let $f: {O_{alpha}}_{alpha in Gamma} to mathbb{Q}$ be the function that
$$f(O_alpha) = q_{alpha}, mbox{ where }q_alpha in (a_alpha,b_alpha)$$



This is possible because $mathbb{Q}$ is dense in $mathbb{R}$



This function is clearly injective since ${O_alpha}$ is a disjoint collection of open sets. Hence, the same rational can't be in two different open intervals from this collection.



Since $f$ is injective, ${O_alpha}_{alpha in Gamma}| = |Gamma| leq |mathbb{Q}| = |mathbb{N}| = aleph_0$



Q.E.D







real-analysis measure-theory proof-verification






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 11 at 20:31









Eric Wofsey

183k13211338




183k13211338










asked Jan 11 at 15:19









Richard ClareRichard Clare

1,066314




1,066314








  • 1




    $begingroup$
    No, your reasoning is not correct. A set of positive measure does not necessarily contain a (non-trivial) open interval (consider e.g. $[0,1] backslash mathbb{Q}$).
    $endgroup$
    – saz
    Jan 11 at 15:24








  • 1




    $begingroup$
    See this.
    $endgroup$
    – David Mitra
    Jan 11 at 15:33






  • 1




    $begingroup$
    No, a closed set need not contain a rational number.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:35






  • 2




    $begingroup$
    For example, say the ratinoals are $q_1,dots$. Let $V=bigcup(q_n-1/n^2,q_n+1/n^2)$, $F=Bbb Rsetminus V$. Then $V$ is open so $F$ is closed, $V$ contains every rational so $F$ contains no rational, and $Fneemptyset$ since $m(V)<infty$.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:38






  • 1




    $begingroup$
    FYI, you might find it interesting to observe how the main idea used in the proofs by David C. Ullrich and saz can also be used to show that: (a) a monotone function can have at most countably many jump discontinuities; (b) in a "convergent uncountable sum" of non-negative real numbers, at most countably many of the numbers can be nonzero.
    $endgroup$
    – Dave L. Renfro
    Jan 11 at 16:12














  • 1




    $begingroup$
    No, your reasoning is not correct. A set of positive measure does not necessarily contain a (non-trivial) open interval (consider e.g. $[0,1] backslash mathbb{Q}$).
    $endgroup$
    – saz
    Jan 11 at 15:24








  • 1




    $begingroup$
    See this.
    $endgroup$
    – David Mitra
    Jan 11 at 15:33






  • 1




    $begingroup$
    No, a closed set need not contain a rational number.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:35






  • 2




    $begingroup$
    For example, say the ratinoals are $q_1,dots$. Let $V=bigcup(q_n-1/n^2,q_n+1/n^2)$, $F=Bbb Rsetminus V$. Then $V$ is open so $F$ is closed, $V$ contains every rational so $F$ contains no rational, and $Fneemptyset$ since $m(V)<infty$.
    $endgroup$
    – David C. Ullrich
    Jan 11 at 15:38






  • 1




    $begingroup$
    FYI, you might find it interesting to observe how the main idea used in the proofs by David C. Ullrich and saz can also be used to show that: (a) a monotone function can have at most countably many jump discontinuities; (b) in a "convergent uncountable sum" of non-negative real numbers, at most countably many of the numbers can be nonzero.
    $endgroup$
    – Dave L. Renfro
    Jan 11 at 16:12








1




1




$begingroup$
No, your reasoning is not correct. A set of positive measure does not necessarily contain a (non-trivial) open interval (consider e.g. $[0,1] backslash mathbb{Q}$).
$endgroup$
– saz
Jan 11 at 15:24






$begingroup$
No, your reasoning is not correct. A set of positive measure does not necessarily contain a (non-trivial) open interval (consider e.g. $[0,1] backslash mathbb{Q}$).
$endgroup$
– saz
Jan 11 at 15:24






1




1




$begingroup$
See this.
$endgroup$
– David Mitra
Jan 11 at 15:33




$begingroup$
See this.
$endgroup$
– David Mitra
Jan 11 at 15:33




1




1




$begingroup$
No, a closed set need not contain a rational number.
$endgroup$
– David C. Ullrich
Jan 11 at 15:35




$begingroup$
No, a closed set need not contain a rational number.
$endgroup$
– David C. Ullrich
Jan 11 at 15:35




2




2




$begingroup$
For example, say the ratinoals are $q_1,dots$. Let $V=bigcup(q_n-1/n^2,q_n+1/n^2)$, $F=Bbb Rsetminus V$. Then $V$ is open so $F$ is closed, $V$ contains every rational so $F$ contains no rational, and $Fneemptyset$ since $m(V)<infty$.
$endgroup$
– David C. Ullrich
Jan 11 at 15:38




$begingroup$
For example, say the ratinoals are $q_1,dots$. Let $V=bigcup(q_n-1/n^2,q_n+1/n^2)$, $F=Bbb Rsetminus V$. Then $V$ is open so $F$ is closed, $V$ contains every rational so $F$ contains no rational, and $Fneemptyset$ since $m(V)<infty$.
$endgroup$
– David C. Ullrich
Jan 11 at 15:38




1




1




$begingroup$
FYI, you might find it interesting to observe how the main idea used in the proofs by David C. Ullrich and saz can also be used to show that: (a) a monotone function can have at most countably many jump discontinuities; (b) in a "convergent uncountable sum" of non-negative real numbers, at most countably many of the numbers can be nonzero.
$endgroup$
– Dave L. Renfro
Jan 11 at 16:12




$begingroup$
FYI, you might find it interesting to observe how the main idea used in the proofs by David C. Ullrich and saz can also be used to show that: (a) a monotone function can have at most countably many jump discontinuities; (b) in a "convergent uncountable sum" of non-negative real numbers, at most countably many of the numbers can be nonzero.
$endgroup$
– Dave L. Renfro
Jan 11 at 16:12










2 Answers
2






active

oldest

votes


















3












$begingroup$

No, that's totally wrong. Saying $X$ has positive measure does not imply $X$ contains an open interval.



Hint: For $n=1,2dots$ let $$Gamma_n={alpha:m([-n,n]cap X_alpha)>0}.$$Show that each $Gamma_n$ is countable and that $${alpha:m(X_alpha)>0}=bigcup_{n=1}^inftyGamma_n.$$



(To show $Gamma_n$ is countable: Show that ${alpha:m([-n,n]cap X_alpha)>1/k}$ is finite...)






share|cite|improve this answer











$endgroup$





















    2












    $begingroup$

    Hints: (I take it that you are considering $mathbb{R}$ equipped with the Lebesgue measure $lambda$.)




    1. Let $(Omega,mathcal{A},mu)$ be a probability space. Show that if $(A_{alpha})_{alpha in I}$ is a collection of measurable mutually disjoint sets, then $${alpha; mu(A_{alpha})>0}$$ is countable. Hint: Check that $${alpha; mu(A_{alpha}) > 1/k}$$ is a finite set for any $k in mathbb{N}$.

    2. Now let $(X_{alpha})_{alpha in I}$ be a collection of measurable mutually disjoints subsets of $mathbb{R}$. Define $$A_{ell,alpha} := X_{alpha} cap [ell,ell+1], qquad ell in mathbb{Z}.$$ Use Step 1 to prove that $${alpha; lambda(A_{ell,alpha})>0}$$ is countable for each $ell$. Conclude that $${alpha; lambda(X_{alpha})>0}$$ is countable.






    share|cite|improve this answer









    $endgroup$













      Your Answer





      StackExchange.ifUsing("editor", function () {
      return StackExchange.using("mathjaxEditing", function () {
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      });
      });
      }, "mathjax-editing");

      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069953%2fif-x-alpha-is-a-collection-of-mutually-disjoint-meas-subsets-of-mathbb%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      3












      $begingroup$

      No, that's totally wrong. Saying $X$ has positive measure does not imply $X$ contains an open interval.



      Hint: For $n=1,2dots$ let $$Gamma_n={alpha:m([-n,n]cap X_alpha)>0}.$$Show that each $Gamma_n$ is countable and that $${alpha:m(X_alpha)>0}=bigcup_{n=1}^inftyGamma_n.$$



      (To show $Gamma_n$ is countable: Show that ${alpha:m([-n,n]cap X_alpha)>1/k}$ is finite...)






      share|cite|improve this answer











      $endgroup$


















        3












        $begingroup$

        No, that's totally wrong. Saying $X$ has positive measure does not imply $X$ contains an open interval.



        Hint: For $n=1,2dots$ let $$Gamma_n={alpha:m([-n,n]cap X_alpha)>0}.$$Show that each $Gamma_n$ is countable and that $${alpha:m(X_alpha)>0}=bigcup_{n=1}^inftyGamma_n.$$



        (To show $Gamma_n$ is countable: Show that ${alpha:m([-n,n]cap X_alpha)>1/k}$ is finite...)






        share|cite|improve this answer











        $endgroup$
















          3












          3








          3





          $begingroup$

          No, that's totally wrong. Saying $X$ has positive measure does not imply $X$ contains an open interval.



          Hint: For $n=1,2dots$ let $$Gamma_n={alpha:m([-n,n]cap X_alpha)>0}.$$Show that each $Gamma_n$ is countable and that $${alpha:m(X_alpha)>0}=bigcup_{n=1}^inftyGamma_n.$$



          (To show $Gamma_n$ is countable: Show that ${alpha:m([-n,n]cap X_alpha)>1/k}$ is finite...)






          share|cite|improve this answer











          $endgroup$



          No, that's totally wrong. Saying $X$ has positive measure does not imply $X$ contains an open interval.



          Hint: For $n=1,2dots$ let $$Gamma_n={alpha:m([-n,n]cap X_alpha)>0}.$$Show that each $Gamma_n$ is countable and that $${alpha:m(X_alpha)>0}=bigcup_{n=1}^inftyGamma_n.$$



          (To show $Gamma_n$ is countable: Show that ${alpha:m([-n,n]cap X_alpha)>1/k}$ is finite...)







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 11 at 15:47

























          answered Jan 11 at 15:33









          David C. UllrichDavid C. Ullrich

          60k43994




          60k43994























              2












              $begingroup$

              Hints: (I take it that you are considering $mathbb{R}$ equipped with the Lebesgue measure $lambda$.)




              1. Let $(Omega,mathcal{A},mu)$ be a probability space. Show that if $(A_{alpha})_{alpha in I}$ is a collection of measurable mutually disjoint sets, then $${alpha; mu(A_{alpha})>0}$$ is countable. Hint: Check that $${alpha; mu(A_{alpha}) > 1/k}$$ is a finite set for any $k in mathbb{N}$.

              2. Now let $(X_{alpha})_{alpha in I}$ be a collection of measurable mutually disjoints subsets of $mathbb{R}$. Define $$A_{ell,alpha} := X_{alpha} cap [ell,ell+1], qquad ell in mathbb{Z}.$$ Use Step 1 to prove that $${alpha; lambda(A_{ell,alpha})>0}$$ is countable for each $ell$. Conclude that $${alpha; lambda(X_{alpha})>0}$$ is countable.






              share|cite|improve this answer









              $endgroup$


















                2












                $begingroup$

                Hints: (I take it that you are considering $mathbb{R}$ equipped with the Lebesgue measure $lambda$.)




                1. Let $(Omega,mathcal{A},mu)$ be a probability space. Show that if $(A_{alpha})_{alpha in I}$ is a collection of measurable mutually disjoint sets, then $${alpha; mu(A_{alpha})>0}$$ is countable. Hint: Check that $${alpha; mu(A_{alpha}) > 1/k}$$ is a finite set for any $k in mathbb{N}$.

                2. Now let $(X_{alpha})_{alpha in I}$ be a collection of measurable mutually disjoints subsets of $mathbb{R}$. Define $$A_{ell,alpha} := X_{alpha} cap [ell,ell+1], qquad ell in mathbb{Z}.$$ Use Step 1 to prove that $${alpha; lambda(A_{ell,alpha})>0}$$ is countable for each $ell$. Conclude that $${alpha; lambda(X_{alpha})>0}$$ is countable.






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  Hints: (I take it that you are considering $mathbb{R}$ equipped with the Lebesgue measure $lambda$.)




                  1. Let $(Omega,mathcal{A},mu)$ be a probability space. Show that if $(A_{alpha})_{alpha in I}$ is a collection of measurable mutually disjoint sets, then $${alpha; mu(A_{alpha})>0}$$ is countable. Hint: Check that $${alpha; mu(A_{alpha}) > 1/k}$$ is a finite set for any $k in mathbb{N}$.

                  2. Now let $(X_{alpha})_{alpha in I}$ be a collection of measurable mutually disjoints subsets of $mathbb{R}$. Define $$A_{ell,alpha} := X_{alpha} cap [ell,ell+1], qquad ell in mathbb{Z}.$$ Use Step 1 to prove that $${alpha; lambda(A_{ell,alpha})>0}$$ is countable for each $ell$. Conclude that $${alpha; lambda(X_{alpha})>0}$$ is countable.






                  share|cite|improve this answer









                  $endgroup$



                  Hints: (I take it that you are considering $mathbb{R}$ equipped with the Lebesgue measure $lambda$.)




                  1. Let $(Omega,mathcal{A},mu)$ be a probability space. Show that if $(A_{alpha})_{alpha in I}$ is a collection of measurable mutually disjoint sets, then $${alpha; mu(A_{alpha})>0}$$ is countable. Hint: Check that $${alpha; mu(A_{alpha}) > 1/k}$$ is a finite set for any $k in mathbb{N}$.

                  2. Now let $(X_{alpha})_{alpha in I}$ be a collection of measurable mutually disjoints subsets of $mathbb{R}$. Define $$A_{ell,alpha} := X_{alpha} cap [ell,ell+1], qquad ell in mathbb{Z}.$$ Use Step 1 to prove that $${alpha; lambda(A_{ell,alpha})>0}$$ is countable for each $ell$. Conclude that $${alpha; lambda(X_{alpha})>0}$$ is countable.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 11 at 15:39









                  sazsaz

                  79.7k860124




                  79.7k860124






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069953%2fif-x-alpha-is-a-collection-of-mutually-disjoint-meas-subsets-of-mathbb%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Mario Kart Wii

                      What does “Dominus providebit” mean?

                      Antonio Litta Visconti Arese