theorem | theorem | further platonic records