theorem :: XPRIMES2:2752

canceled;