IIS:2nd Fundamental Theorem of Apiodynamics

The Second Fundamental Theorem of Apiodynamics states that for a given apiothermodynamic system, there exists a point in time $t_{apio}$ such that $A\cap B\ne \mathrm{\varnothing }$ at time $t_{apio}$ where $A$ is the set of all known apioforms and $B$ is the set of all known bees.

Weak Theorem

The theorem can be trivially used to prove that this holds true when $A$ is the set of all apioids aswell. This is known as the Weak Second Fundamental Theorem of Apiodynamics.