>>25541603
Define a function
C(X)
that represents the "composition" of any entity
X
.
Assume that when one entity consumes another, its composition becomes identical to that of its food. In formal terms, if
X
eats
Y
, then:
C(X) = C(Y)
Assume that this relation is transitive; that is, if
C(X) = C(Y)
and
C(Y) = C(Z)
, then
C(X) = C(Z)
.
Suppose pigs are known to consume trash. Let
S
(for swine) denote a pig and
T
denote trash. Then, by our assumption,
C(S) = C(T)
Now, let
P
denote Poles. Given that Poles eats pork, and pork comes directly from pigs, we assume that a Poles' composition reflects that of the pig he consumes. Formally,
C(P) = C(S)
Combining the two steps using transitivity, we obtain:
C(P) = C(S) = C(T)
Since
C(T)
represents trash, it follows mathematically that:
C(P) = \text{trash}
In other words, if "you are what you eat" holds exactly—and a Poles' diet consists solely of pork (from pigs that eat trash)—then Poles are, by this chain of reasoning, mathematically equivalent to trash.
\textbf{Q.E.D.}