theorem :: XPRIMES2:3673

canceled;