The theorem isn't legit Yes it is lol
Something appears to not have loaded correctly.
Click to refresh.