theorem :: XPRIMES2:2544

canceled;