Code: Select all
TEH PATH OV LUV IZ NEVR SMOOTH
BUT MINEZ CONTINUOUS 4 U
URE TEH UPPR BOUND IN DA CHAINS OV MAH HART
URE MAH AXIOM OV CHOICE, U KNOE IZ TRUE
BUT LATELY R RELASHUNS NOT SO WELL-DEFIND
AN I JUS CANT FUNCSHUN WITHOUT U
ILL PROOV MAH PROPOSISHUN AN IM SURE ULL FIND
WERE FINITE SIMPLE GROUP OV ORDR 2
IM LOSIN MAH IDENTITY
IM GETTIN TENSOR EVRY DAI
AN WITHOUT LOS OV GENERALITY
IM GONNA ASSUME DAT U FEELZ TEH SAME WAI
SINCE EVRY TIEM I C U, U JUS QUOTIENT OUT
TEH FAITHFUL IMAGE DAT I MAP INTO
BUT WHEN WERE WAN-2-WAN ULL C WUT IM BOUT
CAUSE WERE FINITE SIMPLE GROUP OV ORDR 2
R EQUIVALENCE WUZ STABLE,
A PRINCIPAL LUV BUNDLE SITTIN DEEP INSIDE
BUT DEN U DROOV WEDGE TWEEN R 2-FORMS
NAO EVRYTHIN IZ SO COMPLEXIFID
WHEN WE FURST MET, WE SIMPLY CONNECTD
MAH HART WUZ OPEN BUT 2 DENSE
R SISTEM WUZ ALREADY DIRECTD
2 HAS FINITE LIMIT, IN SUM SENSE
IM LIVIN IN DA KERNEL OV RANK-WAN MAP
FRUM MAH DOMAIN, ITZ IMAGE LOOKZ SO BLU,
CAUSE ALL I C R ZEROEZ, IT BE CRUEL TRAP
BUT WERE FINITE SIMPLE GROUP OV ORDR 2
IM NOT TEH SMOOTHEST OPERATOR IN MAH CLAS,
BUT WERE MIRROR PAIR, ME AN U,
SO LETS APPLY FORGETFUL FUNCTORS 2 TEH PAST
AN BE FINITE SIMPLE GROUP, FINITE SIMPLE GROUP,
LETS BE FINITE SIMPLE GROUP OV ORDR 2
(OUGHTR: "Y NOT 3?")
I HAS PROVD MAH PROPOSISHUN NAO, AS U CAN C,
SO LETS BOTH BE ASSOCIATIV AN FREE
AN BY COROLLARY, DIS SHOWS U AN I 2 BE
PURELY INSEPARABLE. Q. E. D.
