` :Politeness makes it appear that everyone else in the aggressor. However in this case it may be that he is not a troll and in fact believes this theorem to be true! I have just verified that he goes to NMT and that the email he claims is his is in fact his.  ...1 `