theorem :: XPRIMES2:2327

canceled;