theorem :: XPRIMES2:2448

canceled;