3 ms·Each is tagged with ‘trivial’, ‘found’ or ‘proved’.by robotresearcher 4y agoEach is tagged with ‘trivial’, ‘found’ or ‘proved’.