theorem :: XPRIMES2:2472

canceled;