theorem :: XPRIMES2:2747

canceled;